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.