mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-13 15:14:52 +09:00
Use SIGINT instead of the default SIGTERM when signalling to shut down the integration master and slave subprocesses. This should let nyc properly write the coverage report before it exits.