X-Git-Url: https://source.tree.se/git?p=treecutter.git;a=blobdiff_plain;f=treecutter%2Fpage.py;h=1cb2bafe9b19a809b5ea9df334a5bdeb0b82dd97;hp=e02a03c58f3d8b365fb6fd87904ece3033851a74;hb=d870bb9cba73cde6026ccfe64f23987c42e9456b;hpb=1ed4abf91e059a83c82b07be9931d5b605085677 diff --git a/treecutter/page.py b/treecutter/page.py index e02a03c..1cb2baf 100644 --- a/treecutter/page.py +++ b/treecutter/page.py @@ -70,7 +70,7 @@ class Page(): os.chdir(cwd) xmlblock = str(xml.stdout.read()) te = time() - print " [%5.2f s]" % (round(te-ts,2)) + print " [%5.2f s] (%s)" % (round(te-ts,2),c.xpointer) xstr = bindery.parse(xmlblock) idp = c.xml_index_on_parent for x in xstr.xml_children: