Merge branch '9-server-crashed' into 'master'

Resolve "server crashed"

Closes #9

See merge request !10
3 jobs for master in 1 minute and 6 seconds (queued for 11 seconds)
latest