jilles 766649e667 strsignal(): Do not append signal numbers to messages for known signals.
Messages for known signals looked like "Terminated: 15" instead of
"Terminated".
2012-09-19 19:21:22 +00:00
..
2012-06-02 08:47:26 +00:00
2012-04-18 07:02:53 +00:00
2012-09-14 17:50:42 +00:00
2012-09-06 19:24:48 +00:00
2012-05-11 20:06:46 +00:00
2012-06-21 21:47:08 +00:00
2012-02-25 14:31:25 +00:00
2012-06-21 21:47:08 +00:00
2012-08-15 20:02:54 +00:00