Method versionCheckFinished

MiniZincIDE/ide.cpp:615–669

}

void
IDE::versionCheckFinished(void) {
    if (versionCheckReply->attribute(QNetworkRequest::HttpStatusCodeAttribute).toInt()==200) {
        QString currentVersion = versionCheckReply->readAll();

        QRegularExpression versionRegExp("([1-9][0-9]*)\\.([0-9]+)\\.([0-9]+)");

        int curVersionMajor = 0;
        int curVersionMinor = 0;
        int curVersionPatch = 0;
        bool ok = true;
        QRegularExpressionMatch curVersionMatch = versionRegExp.match(currentVersion);
        if (curVersionMatch.hasMatch()) {
            curVersionMajor = curVersionMatch.captured(1).toInt(&ok);
            if (ok)
                curVersionMinor = curVersionMatch.captured(2).toInt(&ok);
            if (ok)
                curVersionPatch = curVersionMatch.captured(3).toInt(&ok);
        }

        int appVersionMajor = 0;
        int appVersionMinor = 0;
        int appVersionPatch = 0;
        QRegularExpressionMatch appVersionMatch = versionRegExp.match(applicationVersion());
        if (ok && appVersionMatch.hasMatch()) {
            appVersionMajor = appVersionMatch.captured(1).toInt(&ok);
            if (ok)
                appVersionMinor = appVersionMatch.captured(2).toInt(&ok);
            if (ok)
                appVersionPatch = appVersionMatch.captured(3).toInt(&ok);
        }

        bool needUpdate = ok && (curVersionMajor > appVersionMajor ||
                                 (curVersionMajor==appVersionMajor &&
                                  (curVersionMinor > appVersionMinor ||
                                   (curVersionMinor==appVersionMinor &&
                                    curVersionPatch > appVersionPatch))));

        if (needUpdate) {
            int button = QMessageBox::information(nullptr,"Update available",
                                     "Version "+currentVersion+" of MiniZinc is now available. "
                                     "You are currently using version "+applicationVersion()+
                                     ".\nDo you want to open the MiniZinc web site?",
                                     QMessageBox::Cancel|QMessageBox::Ok,QMessageBox::Ok);
            if (button==QMessageBox::Ok) {
                QDesktopServices::openUrl(QUrl("http://www.minizinc.org/"));
            }
        }
        QSettings settings;
        settings.beginGroup("ide");
        settings.setValue("lastCheck21",QDate::currentDate().toString());
        settings.endGroup();
        stats.resetCounts();
    }
}

QString IDE::appDir(void) const {
#ifdef Q_OS_MAC