Title: [commits] (vajda) [11291] - added --repair command line option to repair repository before start
Revision
11291
Author
vajda
Date
2006-07-31 17:12:49 -0700 (Mon, 31 Jul 2006)

Log Message

- added --repair command line option to repair repository before start

Modified Paths

Diff

Modified: trunk/chandler/application/Utility.py (11290 => 11291)

--- trunk/chandler/application/Utility.py	2006-07-31 23:29:07 UTC (rev 11290)
+++ trunk/chandler/application/Utility.py	2006-08-01 00:12:49 UTC (rev 11291)
@@ -225,6 +225,7 @@
         'uuids':      ('-U', '--uuids',      's', None, None, 'use a file containing a bunch of pre-generated UUIDs'),
         'undo':       ('',   '--undo',       's', None, None, 'undo <n> versions'),
         'backup':     ('',   '--backup',     'b', False, None, 'backup repository before start'),
+        'repair':     ('',   '--repair',     'b', False, None, 'repair repository before start (currently repairs broken indices)'),
     }
 
 
@@ -435,6 +436,11 @@
         dbHome = repository.backup()
         repository.logger.info("Repository was backed up into %s", dbHome)
 
+    if options.repair:
+        view = repository.view
+        schema.reset(view)
+        view.check(True)
+
     if options.undo:
         if options.undo == 'check':
             view = repository.view




_______________________________________________
Commits mailing list
[email protected]
http://lists.osafoundation.org/mailman/listinfo/commits

Reply via email to