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

Fork command (unless windows) #42

Merged
merged 5 commits into from
Nov 8, 2017
Merged

Fork command (unless windows) #42

merged 5 commits into from
Nov 8, 2017

Commits on Nov 7, 2017

  1. fork command if not windows

    @jakolehm
    jakolehm committed Nov 7, 2017
    Configuration menu
    Copy the full SHA
    0d7d160 View commit details
    Browse the repository at this point in the history

  2. trap INT

    @jakolehm
    jakolehm committed Nov 7, 2017
    Configuration menu
    Copy the full SHA
    6c3df5b View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2017

  1. fix specs

    @jakolehm
    jakolehm committed Nov 8, 2017
    Configuration menu
    Copy the full SHA
    20af00a View commit details
    Browse the repository at this point in the history

  2. reload config only if file is modified

    @jakolehm
    jakolehm committed Nov 8, 2017
    Configuration menu
    Copy the full SHA
    064dbc7 View commit details
    Browse the repository at this point in the history

  3. check if Process responds to fork

    @jakolehm
    jakolehm committed Nov 8, 2017
    Configuration menu
    Copy the full SHA
    5bdc025 View commit details
    Browse the repository at this point in the history