ghoscore: server does not quit when client quits
gshell works a little bit