Rethink the killing way of the run_queuer process: today I kill this process when the session doesn't exist anymore, but it could be great to command this behavior through a parameter in which I can specify to kill the process when the quickfix is closed.
Rethink the killing way of the run_queuer process: today I kill this process when the session doesn't exist anymore, but it could be great to command this behavior through a parameter in which I can specify to kill the process when the quickfix is closed.