Handle Jaap his findings

Author: Michael Vasseur

judge/judgedaemon.main.php

@@ -29,14 +29,21 @@ function dj_getopt(string $short_options, array $long_options = []): array
         echo "Error: parsing options failed.\nPlease check: `register_argc_arg` in php.ini.\n";
         usage();
     }
-    $unknown = false;
+    $unknown_option = false;
     foreach (array_slice($argv, 1) as $arg) {
-        if (str_starts_with($arg, '-') && !array_key_exists(ltrim($arg, '-'), $options)) {
+        if (str_starts_with($arg, '--') && !array_key_exists(ltrim($arg, '-'), $options)) {
             echo "Error: Unknown option: $arg\n";
-            $unknown = true;
+            $unknown_option = true;
+        } elseif (str_starts_with($arg, '-') {
+            foreach (ltrim($arg, '-') as $c) {
+                if (!array_key_exists($c, $options)) {
+                    echo "Error: Unknown option: $arg\n";
+                    $unknown_option = true;
+                }
+            }
         }
     }
-    if ($unknown) {
+    if ($unknown_option) {
         usage();
     }
     return $options;