From 8db5cc4f9688fdb3f05288a91c06144499e06a2d Mon Sep 17 00:00:00 2001 From: Jan Bartel Date: Thu, 7 Sep 2017 08:59:03 +1000 Subject: [PATCH] Issue #1795 --- jetty-server/src/main/config/modules/server.mod | 7 ------- 1 file changed, 7 deletions(-) diff --git a/jetty-server/src/main/config/modules/server.mod b/jetty-server/src/main/config/modules/server.mod index 3e1c993f844..a15eef1ea9d 100644 --- 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 -