Fixup for syntax error

Michael Vasseur · Michael Vasseur · commit 9c61fcbff01e · 2024-11-13T23:59:01.000+01:00
diff --git a/judge/judgedaemon.main.php b/judge/judgedaemon.main.php
@@ -488,7 +488,7 @@ function fetch_executable_internal(
 }
 
 $shortoptions = "dv:n:hVe:j:t:";
-$regex = "^([a-zA-Z0-9]:{0,2})*$"
+$regex = "/^([a-zA-Z0-9]:{0,2})*$/";
 if (preg_match($regex, $shortoptions) !== 1) {
     echo "Error: short options format specified is invalid.\n";
 }

Original file line number	Diff line number	Diff line change
`@@ -488,7 +488,7 @@ function fetch_executable_internal(`
`488`	`488`	`}`
`489`	`489`
`490`	`490`	`$shortoptions = "dv:n:hVe:j:t:";`
`491`		`-$regex = "^([a-zA-Z0-9]:{0,2})*$"`
	`491`	`+$regex = "/^([a-zA-Z0-9]:{0,2})*$/";`
`492`	`492`	`if (preg_match($regex, $shortoptions) !== 1) {`
`493`	`493`	`echo "Error: short options format specified is invalid.\n";`
`494`	`494`	`}`