Fix end of script procedure
authorHendrik Sattler <post@hendrik-sattler.de>
Sat, 25 Dec 2010 20:55:39 +0000 (21:55 +0100)
committerHendrik Sattler <post@hendrik-sattler.de>
Sat, 25 Dec 2010 20:55:44 +0000 (21:55 +0100)
commiteb06791bb20489014ba7239c5f0c62251ba526cc
tree974b9aafd6cba9f9c638f0a841e07b3700592a19
parentfd9c192af1b5ae4e997e43d66544213e753a4864
Fix end of script procedure

Close the script's STDIN so it can exit cleanly but also always send SIGKILL to
make sure that the wait() call succeeds.
src/io/script.c