X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=database.py;h=2c4dc491ba9859412ea60eee895891a5ce4ea606;hb=9e596e6eb3c871ab25837903b0ed30f165d9d688;hp=7064335077d4b52f85707cbddbc01d00796a79d6;hpb=dd274713d7098ab54c81516d67d700c53fc01e56;p=nodemanager.git

diff --git a/database.py b/database.py
index 7064335..2c4dc49 100644
--- a/database.py
+++ b/database.py
@@ -13,6 +13,8 @@ In order to maintain service when the node reboots during a network
 partition, the database is constantly being dumped to disk.
 """
 
+import sys
+
 import cPickle
 import threading
 import time
@@ -156,6 +158,8 @@ It may be necessary in the future to do something smarter."""
                     if sliver.is_running():
                         logger.verbose ("database: sync : ensure_create'ing 'delegated' sliver %s"%name)
                         sliver.ensure_created(rec)
+            except SystemExit as e:
+                sys.exit(e)
             except:
                 logger.log_exc("database: sync failed to handle sliver",name=name)