Fix race condition between process timing out and being deleted and Coursera submission dialog starting a new process
Fix race condition between process timing out and being deleted and Coursera submission dialog starting a new process

MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE