mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-11 23:04:52 +09:00
Attempt to detect if the Factorio server has hanged in FactorioServer.stop() and send a second SIGTERM if this is the case.
Attempt to detect if the Factorio server has hanged in FactorioServer.stop() and send a second SIGTERM if this is the case.