| 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] |
Better exit handling.