How to close the server?

[oliversiegel]

great script! I got it running. But no idea how to close it again? is this websocket open for eternity now haha

[oliversiegel]

I listed all the running processes on my server, found the one for server.php and then killed that. Is there a "cleaner" way to do it tho?