K 10 svn:author V 3 bde K 8 svn:date V 27 1998-10-17T14:47:00.000000Z K 7 svn:log V 36 Fixed the type of a signal handler. END