lars
committed
on 11 Jan 04
Fixed bug with all DB statements showing zero time -- Dirk had changed the way we count the milliseconds, but missed this page.