Sun, 07 Sep 2008 10:03:23 +0200 greg fixed : bug in debugthreadproc (plugger.py)