Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix the interaction of signals in GAP and the IO package #1851

Merged
merged 3 commits into from
Nov 11, 2017
Merged

Fix the interaction of signals in GAP and the IO package #1851

merged 3 commits into from
Nov 11, 2017

Commits on Nov 10, 2017

  1. Do not mark stream unused until it is finished 

    This patch ensures that if we catch the child dying in the signal
handler, it is correctly marked as finished.

This change makes it easier to keep track of child processes,
rather than ignoring signals we are not expecting.
    @ChrisJefferson
    ChrisJefferson committed Nov 10, 2017
    Configuration menu
    Copy the full SHA
    c11cc74 View commit details
    Browse the repository at this point in the history

  2. Add more indepth tests for process spawning

    @ChrisJefferson
    ChrisJefferson committed Nov 10, 2017
    Configuration menu
    Copy the full SHA
    362c379 View commit details
    Browse the repository at this point in the history

  3. Add function for libraries to inform GAP of dying child processes

    @ChrisJefferson
    ChrisJefferson committed Nov 10, 2017
    Configuration menu
    Copy the full SHA
    cd4cf85 View commit details
    Browse the repository at this point in the history