I use a PIDFile with systemd to handle the server personally. I have full handling, restarting, etc… working well.