tree 5e34ac0fc9b4bff4af814e754e41f94469e62187
parent 146fa384d8b05e1e5a2c67f88d0eca0a304fa1f0
author Bill Fenner <fenner@gmail.com> 1405434438 -0700
committer Bill Fenner <fenner@gmail.com> 1405434438 -0700

Close pipes when freeing config and kill child process on error

When freeing the config, close the pipes corresponding to that
config, so they don't get leaked.  Also, if we have an error,
send a SIGKILL to the child process in case it is blocked and
won't die just because we closed the pipes to it.