add back the usage of serverstop script of we dont get the old server PID
dont raise an error if we dont get the old server PID
make error catching more specific