@@ -113,6 +113,8 @@ auto Settings::getFileSizeLimit() const -> int { return fileSizeLimit; }
113113
114114auto Settings::getRejudgeTimes () const -> int { return rejudgeTimes; }
115115
116+ auto Settings::getMaxJudgingThreads () const -> int { return maxJudgingThreads; }
117+
116118auto Settings::getDefaultExtraTimeRatio () const -> double { return defaultExtraTimeRatio; }
117119
118120auto Settings::getDefaultInputFileExtension () const -> const QString & { return defaultInputFileExtension; }
@@ -176,6 +178,11 @@ void Settings::setRejudgeTimes(int number) {
176178 DEBUG (" Set Rejudge Times to " + QString::number (number));
177179}
178180
181+ void Settings::setMaxJudgingThreads (int number) {
182+ maxJudgingThreads = number;
183+ DEBUG (" Set Max Judging Threads to " + QString::number (number));
184+ }
185+
179186void Settings::setDefaultInputFileExtension (const QString &extension) {
180187 defaultInputFileExtension = extension;
181188 DEBUG (" Set Default InputFile Extension to " + extension);
@@ -361,6 +368,7 @@ void Settings::copyFrom(Settings *other) {
361368 setSpecialJudgeTimeLimit (other->getSpecialJudgeTimeLimit ());
362369 setFileSizeLimit (other->getFileSizeLimit ());
363370 setRejudgeTimes (other->getRejudgeTimes ());
371+ setMaxJudgingThreads (other->getMaxJudgingThreads ());
364372 setDefaultInputFileExtension (other->getDefaultInputFileExtension ());
365373 setDefaultOutputFileExtension (other->getDefaultOutputFileExtension ());
366374 setInputFileExtensions (other->getInputFileExtensions ().join (" ;" ));
@@ -409,6 +417,7 @@ void Settings::saveSettings() {
409417 settings.setValue (" SpecialJudgeTimeLimit" , specialJudgeTimeLimit);
410418 settings.setValue (" FileSizeLimit" , fileSizeLimit);
411419 settings.setValue (" MaximumRejudgeTimes" , rejudgeTimes);
420+ settings.setValue (" MaximumJudgingThreads" , maxJudgingThreads);
412421 settings.setValue (" DefaultInputFileExtension" , defaultInputFileExtension);
413422 settings.setValue (" DefaultOutputFileExtension" , defaultOutputFileExtension);
414423 settings.setValue (" InputFileExtensions" , inputFileExtensions);
@@ -512,6 +521,7 @@ void Settings::loadSettings() {
512521 specialJudgeTimeLimit = settings.value (" SpecialJudgeTimeLimit" , 10000 ).toInt ();
513522 fileSizeLimit = settings.value (" FileSizeLimit" , 50 ).toInt ();
514523 rejudgeTimes = settings.value (" MaximumRejudgeTimes" , 1 ).toInt ();
524+ maxJudgingThreads = settings.value (" MaximumJudgingThreads" , 1 ).toInt ();
515525 defaultInputFileExtension = settings.value (" DefaultInputFileExtension" , " in" ).toString ();
516526 defaultOutputFileExtension = settings.value (" DefaultOuputFileExtension" , " out" ).toString ();
517527 inputFileExtensions = settings.value (" InputFileExtensions" , QStringList () << " in" ).toStringList ();
0 commit comments