public void close() { _isClosed = true; _sessionManager.close(); _pageManager.close(); if (_envTimeoutThread != null) _envTimeoutThread.shutdown(); if (_quercusTimer != null) { _quercusTimer.shutdown(); } }
/** Returns the exact current time in milliseconds. */ public long getExactTime() { return _quercusTimer.getExactTime(); }
/** Returns the current time in nanoseconds. */ public long getExactTimeNanoseconds() { return _quercusTimer.getExactTimeNanoseconds(); }
/** Returns the current time. */ public long getCurrentTime() { return _quercusTimer.getCurrentTime(); }