Unrud 360e88f350 Write PID file in original process
This ensures that the PID is written, when the process exists.
2017-05-30 05:10:07 +02:00
..
2017-05-27 17:28:07 +02:00
2017-05-27 18:10:46 +02:00
2017-05-30 05:10:07 +02:00
2017-05-27 17:28:07 +02:00
2017-05-27 17:28:07 +02:00
2017-05-27 17:28:07 +02:00
2017-05-27 17:28:07 +02:00
2017-05-27 17:28:07 +02:00