Improvement: when the process has died you had to trigger quickrun again, but now quickrun/process_manager automatically restart the session, so you don't have to run manually twice.