Marc-Aurèle Brothier 02714f263e client: jetty session timeout set after server is started (#3658) ... fixed inability to set a custom session duration via server.properties on mgmt server.		2020-01-03 15:19:08 +01:00
..
bindir
conf
src/main	client: jetty session timeout set after server is started (#3658)	2020-01-03 15:19:08 +01:00
pom.xml	Updating pom.xml version numbers for release 4.13.1.0-SNAPSHOT	2019-09-01 13:36:50 +01:00