| commit | abce416e1678118da5fe1e667a1ad8a9c9c430c1 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Aug 11 21:54:11 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Aug 11 21:54:11 2001 +0000 |
| tree | 1243f21ae6ba39362692dfbb4da1a4b638ba451b | |
| parent | 1abf610b154cc727f219fd52b2c1f868584a6e7b [diff] |
Patch by Jonathan Wight (slightly reformatted) to forestall loading the same module twice, which apparently crashes Python. I could not test the error condition, but in normal life it seems to have no adverse effects. Also removed an unsued variable, and corrected 2 glaring errors (missing 'case' in front of a label).