Implement Tobi his feedback, read from config options

DOMjudge · Oct 4, 2023 · 0ae6b90 · 0ae6b90
1 parent 8f3e00d
commit 0ae6b90
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/webapp/src/Entity/Executable.php b/webapp/src/Entity/Executable.php
@@ -184,8 +184,10 @@ public function getZipfileContent(string $tempdir): string
 
     public function checkEnabled(): bool
     {
-        if (in_array($execid, ['compare', 'run', 'full_debug'])) {
-            return true;
+        foreach (['compare', 'run', 'full_debug'] as $config_script) {
+            if ($execid === (string)$this->config->get('default_' . $config_script)) {
+                return true;
+            }
         }
         if (count($problems_compare) || count($problems_run)) {
             return true;