Created
September 18, 2012 17:17
-
-
Save alexcrichton/3744405 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
setpgid(0,0); | |
exec("${command}"); | |
# I think the below comment is a little bit full of lies | |
# | |
# we need to do this because somehow sml manages to | |
# fork a second internal process that ignores direct | |
# kills of the child. instead we create a new process | |
# group and then send an INT process to the direct child | |
# which then passes a KILL onto every process in its new group. | |
die "exec failed"; |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment