Added PrintPID=<pidfilename>. The process will write the PID to the specified file. The old PrintPID behaviour that writes to stderr still works as well
Merge pull request #667 from badlogic/master

Write PID to a file instead of stderr