K 10 svn:author V 2 dg K 8 svn:date V 27 1995-08-20T02:51:59.000000Z K 7 svn:log V 126 Brought in change from rev 1.7: use microtime() rather than "time" to avoid time becoming negative for short-lived processes. END