Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Kill should accept signal names, not just numbers #11
Gosh, you closed this before I could respond to your comments.
Since you had to copy
Fortunately, that's still possible with another commit. :-)
Instead I decided to grab the opportunity to change the output to print the name of the signal being sent, instead of the number.
(Hm, there's already another number-to-name conversion function in zdrun.py. Perhaps something could be refactored there. I won't object ;-)