📄 sessionlistener.java
字号:
package org.mortbay.jetty.servlet.wadi;
public interface SessionListener
{
/**
* Calls when the ownership of the provided Session is acquired by the SessionManager to which this listener
* is attached.
*
* @param session New Session now owned by the attached SessionManager.
*/
void notifyInboundSessionMigration(WadiSession session);
/**
* Calls when the ownership of the provided Session is relinquished to another SessionManager.
*
* @param session Session now owned by another SessionManager.
*/
void notifyOutboundSessionMigration(WadiSession session);
/**
* Calls when a Session is destroyed.
*
* @param session Destroyed session.
*/
void notifySessionDestruction(WadiSession session);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -