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.