robovm/robovm — pull request #667 by badlogic (2014-12-23 23:19:56+00:00)
Title: Write PID to a file instead of stderr

Added `-rvm:PrintPID=` which will let the app write its PID to the specified file. The old behaviour of `-rvm:PrintPID` writting the PID to stderr still works if the `=