spawning server via gui, terminating it at the end

certes mais je trouve pas de solution simple cross-platform permettant de checker si un pid est toujours actif :/