commit | 9513f2c95a669cc44d972a5f7158160cd23a1cf6 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 27 13:21:28 1995 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 27 13:21:28 1995 +0000 |
tree | 175568b722cb93683d02eecfb016214c5a035de7 | |
parent | 10d0f8fc40a9b4b0970ea8b14ddf4b38e67a4dcc [diff] |
Made a bit more robust against out-of-memory situations