Subject: | use signal names, not numbers |
For example: kill 'INT', $pid rather than kill 2.
Although the signals used seem like the ones that do not change, some signals DO change between platforms. It's also easier to read INT than 2. :-)
--
rjbs