If a server daemon is terminated with ctrl-c (or similar) then it will shut down without finalizing Mercury (or any other subsystems). This is mainly notable because if you are using cci/sm it will leave files populated in /tmp that will interfere with the next service startup.

We can try adding a signal handler to deal with this properly. If that doesn't work then at a minimum the make check scripts should clean up /tmp on failure.