galaxy_status.sh: attempt to fix problem when server process disappears before PID has been read from file.