On Thu, Jun 23, 2016 at 11:09:59PM +0200, Markus Koschany wrote: > Restarting the server is equivalent with stopping and starting the > server again. Systemd will send a SIGTERM signal by default to the > server to terminate the running process. I don't see a reason why we > should use a different KillSignal in this case. SIGINT means > interrupting the process.
I took a quick look through the code, it looks like they only add a handler for SIGINT: https://github.com/minetest/minetest/blob/095f623fa7278375a6fa4fe01ed39d2b68cce7af/src/porting.cpp#L97