misc cleanups
authorCameron Patrick <cameron@ucc.gu.uwa.edu.au>
Sun, 1 Aug 2004 07:08:37 +0000 (07:08 +0000)
committerCameron Patrick <cameron@ucc.gu.uwa.edu.au>
Sun, 1 Aug 2004 07:08:37 +0000 (07:08 +0000)
sql-edition/servers/VendServer.py

index 438ca06..974e0b4 100755 (executable)
@@ -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...)"
 

UCC git Repository :: git.ucc.asn.au