diff -r ce63ebb51da4 -r 6345461600d7 Server/Properties/Settings.settings --- a/Server/Properties/Settings.settings Sun Jul 17 19:35:29 2016 +0200 +++ b/Server/Properties/Settings.settings Mon Jul 18 15:11:33 2016 +0200 @@ -41,5 +41,8 @@ True + + False + \ No newline at end of file