K 10 svn:author V 6 marcel K 8 svn:date V 27 2004-07-10T20:55:15.000000Z K 7 svn:log V 113 Update for the KDB framework: o Call kdb_enter() instead of Debugger(). While here, remove a redundant return. END