From: Cameron Patrick <cameron@ucc.gu.uwa.edu.au>
Date: Sun, 1 Aug 2004 07:08:37 +0000 (+0000)
Subject: misc cleanups
X-Git-Url: https://git.ucc.asn.au/?p=zanchey%2Fdispense2.git;a=commitdiff_plain;h=7bfe9ec40785e65c830225cc9f006f9012c3f7b7;hp=81ff043da21e437edd582affb5f78b9531f7d400

misc cleanups
---

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...)"