beremiz

Fix bug in killing debug thread when closing Beremiz window

2012-02-27, laurent
9265781619b7
Fix bug in killing debug thread when closing Beremiz window
from svgui import *