K 10 svn:author V 5 joerg K 8 svn:date V 27 2004-09-23T21:12:21.000000Z K 7 svn:log V 180 Implement terminating the worker thread when the driver is about to be deregistered. Not yet tested, since by now, GEOM doesn't want us to deregister. PHK wants to fix that RSN. END