Praveen raj Mani 89e45d0695 Restart process should use the current process' pid (#7373)
This fixes varying pids for server-respawns. And avoids duplicate process
creating multiple pids when the server restart signal is triggered with
service restart enabled.

Fixes #7350
2019-03-20 22:20:30 -07:00
..
2019-02-14 17:53:46 -08:00
2019-02-14 17:53:46 -08:00
2019-02-14 17:53:46 -08:00
2019-02-14 17:53:46 -08:00
2018-06-06 14:21:56 +05:30
2019-02-14 17:53:46 -08:00
2019-02-14 17:53:46 -08:00
2019-03-05 21:34:17 +05:30