commit 6ab2cb66966bf64dedd62e9715e0f76a2853f664
author Jack Jansen <jack.jansen@cwi.nl> Thu Oct 12 21:22:26 2000 +0000
committer Jack Jansen <jack.jansen@cwi.nl> Thu Oct 12 21:22:26 2000 +0000
tree 1e1c9815fd7644a50ec518a6480900d6b948eb29
parent de51909d19b0355d866c61a83146c4a43decf45d

Better exit handling.

Mac/scripts/MkDistr_ui.py

diff --git a/Mac/scripts/MkDistr_ui.py b/Mac/scripts/MkDistr_ui.py
index 6b39aaa..002e2bd 100644
--- a/Mac/scripts/MkDistr_ui.py
+++ b/Mac/scripts/MkDistr_ui.py
@@ -263,7 +263,7 @@
 				return
 			if rv == 1:
 				self.main.save()
-		raise self
+		self._quit()
 		
 	def save(self, *args):
 		self.main.save()

Mac/scripts/fullbuild.py

diff --git a/Mac/scripts/fullbuild.py b/Mac/scripts/fullbuild.py
index 30c2c7c..1c2256a 100644
--- a/Mac/scripts/fullbuild.py
+++ b/Mac/scripts/fullbuild.py
@@ -308,7 +308,6 @@
 		routine(dir, arg, list)
 		
 	print "All done!"
-	sys.exit(1)	
 	
 if __name__ == '__main__':
 	main()