diff options
| author | Alon Levy <alon@pobox.com> | 2015-04-13 14:48:27 +0200 |
|---|---|---|
| committer | Alon Levy <alon@pobox.com> | 2015-04-13 14:48:27 +0200 |
| commit | 28bc47942b5811760815847d0bebe7f9d5e7b416 (patch) | |
| tree | e0db900d2de8a8494bf5b7671b9f830baa69c96c /src/local/server-tools | |
| parent | fa3c3fefb301d3a618fc0e436d0e67a7a43dad8b (diff) | |
rz-doc: merge names ignore case
Diffstat (limited to 'src/local/server-tools')
| -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']) |