📄 pagelock.java
字号:
package com.ecyrd.jspwiki;import java.util.Date;public class PageLock{ private WikiPage m_page; private String m_locker; private Date m_lockAcquired; private Date m_lockExpiry; public PageLock( WikiPage page, String locker, Date acquired, Date expiry ) { m_page = page; m_locker = locker; m_lockAcquired = acquired; m_lockExpiry = expiry; } public WikiPage getPage() { return m_page; } public String getLocker() { return m_locker; } public Date getAcquisitionTime() { return m_lockAcquired; } public Date getExpiryTime() { return m_lockExpiry; } /** * Returns the amount of time left in minutes, rounded up to the nearest * minute (so you get a zero only at the last minute). */ public long getTimeLeft() { long time = m_lockExpiry.getTime() - new Date().getTime(); return (time / (1000L * 60)) + 1; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -