From cfd01d6bbc723d67557d31a2cae70e1cac5aeeec Mon Sep 17 00:00:00 2001 From: olivier lamy Date: Tue, 13 Aug 2019 16:35:51 +1000 Subject: [PATCH] remove non needed file Signed-off-by: olivier lamy --- jetty-home/start.ini | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 jetty-home/start.ini diff --git a/jetty-home/start.ini b/jetty-home/start.ini deleted file mode 100644 index 215582944fe..00000000000 --- a/jetty-home/start.ini +++ /dev/null @@ -1,9 +0,0 @@ -# --------------------------------------- -# Module: session-store-infinispan-embedded -# Enables session data store in a local Infinispan cache -# --------------------------------------- ---module=session-store-infinispan-embedded - -#jetty.session.gracePeriod.seconds=3600 -#jetty.session.savePeriod.seconds=0 -