marcuswhybrow/minecraft-server-manager — pull request #122 by PugTsurani (2012-12-13 06:44:57+00:00)
Title: Fix for Issue #27

Fixed issue #27 by capturing the Java PID and using it to determine if the server is running. No checks are made to determine if the screen session is still running; it's assumed if the Java process ends, the screen session will end.