From 7bfe9ec40785e65c830225cc9f006f9012c3f7b7 Mon Sep 17 00:00:00 2001 From: Cameron Patrick Date: Sun, 1 Aug 2004 07:08:37 +0000 Subject: [PATCH] misc cleanups --- sql-edition/servers/VendServer.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/sql-edition/servers/VendServer.py b/sql-edition/servers/VendServer.py index 438ca06..974e0b4 100755 --- a/sql-edition/servers/VendServer.py +++ b/sql-edition/servers/VendServer.py @@ -463,6 +463,8 @@ if __name__ == '__main__': except KeyboardInterrupt: print "Killed by signal." break + except SystemExit, e: + raise e except: (exc_type, exc_value, exc_traceback) = sys.exc_info() print @@ -474,6 +476,7 @@ if __name__ == '__main__': print print "This message should be considered a bug in the Vend Server." print "Please report this to someone who can fix it." + sleep(10) print print "Trying again anyway (might not help, but hey...)" -- 2.20.1