Bug fix:
Never exiting child processes.  The bug is triggered by spawning a child for
reloading while other children are alive.  From there on, a new child process
remains there after each reload.  That can consume resources uselessly, and
produces huge log files if high verbosity was enabled.

