K 10 svn:author V 6 julian K 8 svn:date V 27 2002-08-23T07:23:44.000000Z K 7 svn:log V 204 Don't re-lock the sched lock if we didn't unlock it. Original error by: David Xu Fix by: David Xu Completely failed to spot it: Julian Elischer END