anhefti 02dadca67b SEBSERV-228 fixed both re-establishment; with new user id and without		2022-02-09 10:24:00 +01:00
..
java/ch/ethz/seb/sebserver	SEBSERV-228 fixed both re-establishment; with new user id and without	2022-02-09 10:24:00 +01:00
resources	fixed GUI session timout, set default to 18000	2022-02-08 11:18:01 +01:00