com_term(): Ignore SIGTERM.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 24 Mar 2022 21:06:02 +0000 (22:06 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 3 Oct 2022 20:42:13 +0000 (22:42 +0200)
commit4ce5b6570ed83ef2ab5296f369f147593507286b
tree16489a55812ac7c257591c6c98574b06f958cf1e
parenta1632855167b61fd987b2bc8f3e6d2ef0972d0ea
com_term(): Ignore SIGTERM.

Just to shut up valgrind when the server terminates due to the term
command.
command.c