https://digitalixy.com/tech/maude/406692/how-to-start-your-own-game-server/