summaryrefslogtreecommitdiff
path: root/src/local
diff options
context:
space:
mode:
authorAlon Levy <alon@pobox.com>2015-04-13 14:46:21 +0200
committerAlon Levy <alon@pobox.com>2015-04-13 14:46:21 +0200
commitfa3c3fefb301d3a618fc0e436d0e67a7a43dad8b (patch)
tree024c0e6edd4b1798a96a0e257044f22396b329f3 /src/local
parent5bfc1efe4516ab27dca1315549655fcc5327a396 (diff)
rz-doc: more verbose merge
Diffstat (limited to 'src/local')
-rwxr-xr-xsrc/local/server-tools/rz-doc7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/local/server-tools/rz-doc b/src/local/server-tools/rz-doc
index 395403b6..f85d2d52 100755
--- a/src/local/server-tools/rz-doc
+++ b/src/local/server-tools/rz-doc
@@ -25,7 +25,7 @@ def names():
def create_id():
return uuid.uuid4().get_hex()[:8]
-def merge_topos(topos):
+def merge_topos(topos, names):
"""
Merge a number of Topo_Diff's
@@ -75,7 +75,8 @@ def merge_topos(topos):
result.node_set_add.extend(new_nodes)
result.link_set_add.extend(new_links)
- for topo in topos:
+ for topo, name in zip(topos, names):
+ print("merging %s" % name)
merge(topo)
# now realloc all ids since otherwise they are duplicates of originals
renames = [(node['id'], create_id()) for node in result.node_set_add]
@@ -98,7 +99,7 @@ def merge(destination_name, sources=None):
destination = kernel.rzdoc__create(destination_name)
ctx = namedtuple('Context', ['user_name', 'rzdoc'])(None, destination)
- kernel.diff_commit__topo(merge_topos(topos), ctx)
+ kernel.diff_commit__topo(merge_topos(topos, sources), ctx)
def remove(rzdoc_name):
kernel.rzdoc__delete(kernel.rzdoc__lookup_by_name(rzdoc_name))