Merge branch 'martin-t/server-quit' into 'master'
authorMario <mario.mario@y7mail.com>
Sat, 23 May 2020 11:25:34 +0000 (11:25 +0000)
committerMario <mario.mario@y7mail.com>
Sat, 23 May 2020 11:25:34 +0000 (11:25 +0000)
Make dedicated server quit when no config found

See merge request xonotic/xonotic-data.pk3dir!788


Trivial merge