From 28bc47942b5811760815847d0bebe7f9d5e7b416 Mon Sep 17 00:00:00 2001 From: Alon Levy Date: Mon, 13 Apr 2015 14:48:27 +0200 Subject: rz-doc: merge names ignore case --- src/local/server-tools/rz-doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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']) -- cgit v1.3.1