static Either evalWithTimeoutReleasingDBLock(int timeoutMS, fO r) { dbLock().unlock(); try { ret evalWithTimeout(timeoutMS, r); } finally { lock(dbLock()); } } static Either evalWithTimeoutReleasingDBLock(double timeoutSeconds, fO r) { ret evalWithTimeoutReleasingDBLock(toMS_int(timeoutSeconds), r); }