Method terminate

MiniZincIDE/process.cpp:70–88

}

void Process::terminate()
{
    if (state() != QProcess::NotRunning) {
#ifdef Q_OS_WIN
        if (IsWindows8OrGreater()) {
            TerminateJobObject(jobObject, EXIT_FAILURE);
        } else {
            // We can't use job objects in Windows 7, since MiniZinc already uses them
            QProcess::kill();
        }
#else
        ::killpg(processId(), SIGKILL);
#endif
        if (!waitForFinished(500)) {
            kill();
            waitForFinished();
        }
    }
}

void Process::sendInterrupt()
{