Diffing server does not release ports on SIGTERM

[Mr0grog]

Kubernetes uses SIGTERM to shut down pods, but it turns out the diffing server does not clean up after itself very well when it receives that signal. The parent process dies, but all the child processes in our process pool are left alive and the port is still bound.