Fix small server glitch.
Merge branch 'master' of https://github.com/MichaelCarius/ggj
Merge branch 'master' of https://github.com/MichaelCarius/ggj