From 26c7583feeb39ba52f0beac19221777844ad1487 Mon Sep 17 00:00:00 2001 From: Radek Czajka Date: Wed, 12 Nov 2025 12:32:28 +0100 Subject: [PATCH] fix --- src/catalogue/api/tojson.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/catalogue/api/tojson.py b/src/catalogue/api/tojson.py index f28351f68..fa6bafdd1 100644 --- a/src/catalogue/api/tojson.py +++ b/src/catalogue/api/tojson.py @@ -146,6 +146,8 @@ def toj(elem, S): id_prefix = id_prefixes.get(elem.tag, 'i') S['id'][id_prefix] += 1 output['id'] = id_prefix + str(S['id'][id_prefix]) + if elem.attrib.get('id'): + output['id'] = 'wl-' + elem.attrib.get('id') if attrs: output['attr'] = attrs.copy() if attr_map: -- 2.20.1