From 7bfe9ec40785e65c830225cc9f006f9012c3f7b7 Mon Sep 17 00:00:00 2001
From: Cameron Patrick <cameron@ucc.gu.uwa.edu.au>
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