Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix after merge hell

This commit is contained in:
Jan Bartel 2022-11-24 10:13:54 +11:00
parent c4e1db57ee
commit 842956aca7
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jetty-core/jetty-session/src/main/java/org/eclipse/jetty/session/DefaultSessionIdManager.java
View File

@ -68,7 +68,6 @@ public class DefaultSessionIdManager extends ContainerLifeCycle implements Sessi
public DefaultSessionIdManager(Server server)
{
_server = Objects.requireNonNull(server);
_server.setSessionIdManager(this);
}
/**
@ -87,7 +86,6 @@ public class DefaultSessionIdManager extends ContainerLifeCycle implements Sessi
public void setServer(Server server)
{
_server = Objects.requireNonNull(server);
_server.setSessionIdManager(this);
}
/**