some clarification in ServerIsRunning
echoerr commented ;)