diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/local/server-tools/rz-doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/local/server-tools/rz-doc b/src/local/server-tools/rz-doc index f85d2d52..7d1fb26a 100755 --- a/src/local/server-tools/rz-doc +++ b/src/local/server-tools/rz-doc @@ -53,7 +53,7 @@ def merge_topos(topos, names): nodes = topo.node_set_add new_nodes = [] for node in nodes: - name = node['name'] + name = node['name'].lower() if name in node_names: dropped_nodes.add(node['name']) rename(links, node['id'], node_names[name]['id']) |