| commit | 58b2eacf6b53fff92ecad3233073efbd5ca756d2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jun 21 16:18:51 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jun 21 16:18:51 1999 +0000 |
| tree | d47ddd929ab12bce6156121d479481f005d2137c | |
| parent | c4f6331690a379624a1230110123a2c6ddaff72b [diff] |
Print something on stderr in case of exceptions in callback routines.