spawning server via gui, terminating it at the end

Au moins mets un warning quelque part si tu détectes que le fichier .pid existe (ce fichier devrait être détruit si le serveur a été terminé proprement)