Check first

Michael Vasseur · Michael Vasseur · commit 8706d63be86b · 2024-11-22T15:44:22.000+01:00
suggest by: Tobi
diff --git a/judge/judgedaemon.main.php b/judge/judgedaemon.main.php
@@ -20,11 +20,11 @@ function dj_getopt(string $short_options, array $long_options = []): array
 {
     global $argv;
     define('GETOPT_REGEX', "/^([a-zA-Z0-9]:{0,2})*$/");
-    $options = getopt($short_options, $long_options);
     if (preg_match(GETOPT_REGEX, $short_options) !== 1) {
         echo "Error: short options format specified is invalid.\n";
         usage();
     }
+    $options = getopt($short_options, $long_options);
     if ($options===false || !is_array($argv)) {
         echo "Error: parsing options failed.\nPlease check: `register_argc_arg` in php.ini.\n";
         usage();

Original file line number	Diff line number	Diff line change
`@@ -20,11 +20,11 @@ function dj_getopt(string $short_options, array $long_options = []): array`
`20`	`20`	`{`
`21`	`21`	`global $argv;`
`22`	`22`	`define('GETOPT_REGEX', "/^([a-zA-Z0-9]:{0,2})*$/");`
`23`		`- $options = getopt($short_options, $long_options);`
`24`	`23`	`if (preg_match(GETOPT_REGEX, $short_options) !== 1) {`
`25`	`24`	`echo "Error: short options format specified is invalid.\n";`
`26`	`25`	`usage();`
`27`	`26`	`}`
	`27`	`+ $options = getopt($short_options, $long_options);`
`28`	`28`	`if ($options===false \|\| !is_array($argv)) {`
`29`	`29`	echo "Error: parsing options failed.\nPlease check: `register_argc_arg` in php.ini.\n";
`30`	`30`	`usage();`