Method stop

MiniZincIDE/process.cpp:421–440

}

void MznProcess::stop()
{
    if (p.state() == QProcess::NotRunning) {
        return;
    }
    cancelled = true;
    p.sendInterrupt();
    auto* killTimer = new QTimer(this);
    killTimer->setSingleShot(true);
    connect(killTimer, &QTimer::timeout, this, [=] () {
        if (p.state() == QProcess::Running) {
            terminate();
        }
    });
    connect(this, &MznProcess::finished, killTimer, [=] () {
        killTimer->stop();
        delete killTimer;
    });
    killTimer->start(1000);
}

void MznProcess::terminate()
{