Hi, Your are right, if signal 11 occur, the script is not used.
But, signal 11 is an error, it must not happen. We should control the error cases? Is possible handle all error cases? The current wmaker version doesn't have signals 11, it is fine, and IMO this patch should not included. What do you think? Cheers, kix -- .''`. Rodolfo García Peñas (kix) <k...@debian.org> : :' : Proud Debian Developer `. `'` 4096R / 3F48 0B8C C385 AD41 9E28 006A 7B1F 5490 72B7 4923 `- Debian - when you have better things to do than fixing systems -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
