Code

Control+C handling#1912

Code

Merged

aalekseyev merged 13 commits intoocaml:masterocaml/dune:masterfrom aalekseyev:control-c-handlingaalekseyev/dune:control-c-handlingCopy head branch name to clipboardMar 7, 2019

+166-117

Commits

Commits on Mar 6, 2019

• wait for all the forks to finish before [Fiber.run] returns

  Show description for 3bd1633
  aalekseyev

  committed
  3bd1633

• Improve signal handling in polling mode

  Show description for 07c2269
  aalekseyev

  committed
  07c2269

• Convert polymorphic variants to normal variants

  Show description for f044257
  aalekseyev

  committed
  f044257

• simplification#1

  Show description for 72d1539
  aalekseyev

  committed
  72d1539

• move cleanup from continue_on_error to [run_and_cleanup], disassemble [continue_on_error]

  Show description for c86b4da
  aalekseyev

  committed
  c86b4da

• simplify polling scheduler: merge the two main loops and move event processing out of a fiber

  Show description for fd0efad
  aalekseyev

  committed
  fd0efad

Commits on Mar 7, 2019

• renames and small cleanup

  Show description for b71f87a
  aalekseyev

  committed
  b71f87a

• cleaner exn handling

  Show description for 7fb255c
  aalekseyev

  committed
  7fb255c

• Merge branch 'master' into control-c-handling

  aalekseyev

  authored
  afac52d

• add changelog entries

  Show description for b591429
  aalekseyev

  committed
  b591429

• Merge branch 'control-c-handling' of github.com:aalekseyev/dune into control-c-handling

  aalekseyev

  committed
  2007fa1

• cleanup

  Show description for 5023031
  aalekseyev

  committed
  5023031

• Merge branch 'master' into control-c-handling

  aalekseyev

  authored
  c669c7a