Mon, 18 May 2009 07:47:24 +0200 greg Wait the debug thread has terminated before freeing PLC to avoid random segmentation fault.