Package | Description |
---|---|
org.eclipse.jetty.server |
Jetty Server : Core Server API
|
org.eclipse.jetty.server.session |
Jetty Server : Session Management Implementations
|
Modifier and Type | Method and Description |
---|---|
HouseKeeper |
SessionIdManager.getSessionHouseKeeper() |
Modifier and Type | Method and Description |
---|---|
void |
SessionIdManager.setSessionHouseKeeper(HouseKeeper houseKeeper) |
Modifier and Type | Field and Description |
---|---|
protected HouseKeeper |
DefaultSessionIdManager._houseKeeper |
Modifier and Type | Method and Description |
---|---|
HouseKeeper |
TestServer.getHouseKeeper() |
HouseKeeper |
DefaultSessionIdManager.getSessionHouseKeeper() |
Modifier and Type | Method and Description |
---|---|
void |
DefaultSessionIdManager.setSessionHouseKeeper(HouseKeeper houseKeeper) |
Copyright © 1995–2017 Webtide. All rights reserved.