Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Fix web server kill when the SIGKILL constant isn't available #150

Merged
merged 1 commit into from
Oct 21, 2014
Merged

Fix web server kill when the SIGKILL constant isn't available #150

merged 1 commit into from
Oct 21, 2014

Conversation

bpedro
Copy link
Contributor

@bpedro bpedro commented Oct 2, 2014

  • Sometimes pcntl isn't available and the SIGKILL constant is not present
  • This change finds if pcntl isn't present and defines the SIGKILL constant with the value 9

nategood pushed a commit that referenced this pull request Oct 21, 2014
Merge pull request #150 from bpedro/feature/kill-web-server-fix
41bc3e2 
Fix web server kill when the SIGKILL constant isn't available
@nategood nategood merged commit 41bc3e2 into nategood:master Oct 21, 2014
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@bpedro @nategood