Axel Uhl 06cb357fe5 aftermath of Jetty upgrade: the start script required an update because the Jetty port needs to be patched into a different file now ...

Change-Id: I4e563862e1924cff047a20362fab5dedd31b4340

2018-03-01 17:42:49 +01:00

..

configuration

Bug 4442: configs changes for Jetty 9.4

2018-02-06 15:36:38 +01:00

.gitignore

…

compareServers

fixed compareServers script; leaderboard group names with , caused error

2017-10-28 09:50:47 +02:00

env.sh

…

http2udpmirror

…

http2udpmirror_axel

…

http2udpmirror_axel_proxy

…

importdeclination

…

refreshInstance.sh

enhanced server start-up mail; preserve mail.properties during release install

2018-02-26 15:50:32 +01:00

start

aftermath of Jetty upgrade: the start script required an update because the Jetty port needs to be patched into a different file now

2018-03-01 17:42:49 +01:00

startOnAStick

…

status

…

stop

…

swisstiminglistener

…

swisstiminglistenerLog.properties

…

udpmirror

…

udpmirrorLog.properties

…

udpmirrorOnAStick

…

updateIPToBoat2

…