diff options
| author | Alon Levy <alon@pobox.com> | 2015-04-13 14:46:21 +0200 |
|---|---|---|
| committer | Alon Levy <alon@pobox.com> | 2015-04-13 14:46:21 +0200 |
| commit | fa3c3fefb301d3a618fc0e436d0e67a7a43dad8b (patch) | |
| tree | 024c0e6edd4b1798a96a0e257044f22396b329f3 /src/local/server-tools | |
| parent | 5bfc1efe4516ab27dca1315549655fcc5327a396 (diff) | |
rz-doc: more verbose merge
Diffstat (limited to 'src/local/server-tools')
| -rwxr-xr-x | src/local/server-tools/rz-doc | 7 |
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)) |
