Closed kodacapo closed 6 months ago
Earlier attempt to end the ocean when all humans left was too indiscriminate: at the natural end of a run all humans also leave. This fix is more careful about whether and how to force a termination.
Earlier attempt to end the ocean when all humans left was too indiscriminate: at the natural end of a run all humans also leave. This fix is more careful about whether and how to force a termination.