misc cleanups

diff --git a/sql-edition/servers/VendServer.py b/sql-edition/servers/VendServer.py
index 438ca06..974e0b4 100755 (executable)
--- 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...)"