server/checkintegrity.py
changeset 9578 68049d53426c
parent 9577 c52441e4a3d7
child 9797 4e640ab62f51
--- a/server/checkintegrity.py	Mon Mar 17 12:13:14 2014 +0100
+++ b/server/checkintegrity.py	Mon Mar 17 12:15:20 2014 +0100
@@ -130,6 +130,8 @@
             cnx.drop_entity_cache()
         if withpb:
             pb.update()
+    if withpb:
+        pb.finish()
 
 
 def check_schema(schema, cnx, eids, fix=1):