diff -r 2b9541e54f7d -r 0c75dec19d39 Server/Properties/Settings.settings --- a/Server/Properties/Settings.settings Mon Aug 15 12:11:26 2016 +0200 +++ b/Server/Properties/Settings.settings Tue Aug 16 12:25:20 2016 +0200 @@ -35,7 +35,7 @@ True - +