diff -r 0c75dec19d39 -r ba14a29944c4 Server/Properties/Settings.settings --- a/Server/Properties/Settings.settings Tue Aug 16 12:25:20 2016 +0200 +++ b/Server/Properties/Settings.settings Tue Aug 16 12:59:32 2016 +0200 @@ -35,7 +35,7 @@ True - +