Mon, 27 Feb 2012 16:51:43 +0100 laurent Fix bug in killing debug thread when closing Beremiz window