tree 1243f21ae6ba39362692dfbb4da1a4b638ba451b
parent 1abf610b154cc727f219fd52b2c1f868584a6e7b
author Jack Jansen <jack.jansen@cwi.nl> 997566851 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 997566851 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4022385

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).