| commit | 6ab2cb66966bf64dedd62e9715e0f76a2853f664 | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
Better exit handling.
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()