Issue #1795

2017-09-07 08:59:03 +10:00 · 2017-09-07 08:59:03 +10:00 · 8db5cc4f96
parent 804cabfbe6
commit 8db5cc4f96
1 changed files with 0 additions and 7 deletions
--- a/jetty-server/src/main/config/modules/server.mod
+++ b/jetty-server/src/main/config/modules/server.mod
@ -82,10 +82,3 @@ etc/jetty.xml

 ## Dump the state of the Jetty server, components, and webapps before shutdown
 # jetty.server.dumpBeforeStop=false
-
-## The name to uniquely identify this server instance
-#jetty.defaultSessionIdManager.workerName=node1
-
-## How frequently sessions are inspected
-#jetty.sessionInspectionInterval.seconds=60
-