Code

Catch [CTRL+C] and gracefully exit#349

Code

Merged

odow merged 6 commits intomasterjump-dev/Gurobi.jl:masterfrom od/ctrl-cjump-dev/Gurobi.jl:od/ctrl-cCopy head branch name to clipboardOct 5, 2020

+90-4

Commits

Commits on Sep 29, 2020

• Catch [CTRL+C] and gracefully exit

  odow

  committed
  6c99a31

  Copy full SHA for 6c99a31

• Move _check_ret out of try-catch

  odow

  committed
  b07500e

  Copy full SHA for b07500e

• Successfully handle interrupts

  odow

  committed
  e70b2d5

  Copy full SHA for e70b2d5

• Fix tests

  odow

  committed
  176c1f5

  Copy full SHA for 176c1f5

• A better design for handling interrupts

  odow

  committed
  37ee229

  Copy full SHA for 37ee229

Commits on Oct 5, 2020

• Merge branch 'master' into od/ctrl-c

  odow

  authored
  e699b8e

  Copy full SHA for e699b8e