argmin-rs / argmin

Numerical optimization in pure Rust
http://argmin-rs.org
Apache License 2.0
952 stars 74 forks source link

Interrupt handling now includes SIGINT, SIGTERM and SIGHUP, renamed `KeyboardInterrupt` to `Interrupt` #413

Closed stefan-k closed 6 months ago

stefan-k commented 6 months ago

As suggested a while ago on reddit. By adding the termination feature to ctrlc, we are able to capture SIGINT (Ctrl+C), SIGTERM and SIGHUP. I changed TerminationReason::KeyboardInterrupt to TerminationReason::Interrupt to reflect that.