We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a0728be commit a0dcd3cCopy full SHA for a0dcd3c
judge/judgedaemon.main.php
@@ -488,7 +488,8 @@ function fetch_executable_internal(
488
}
489
490
$options = getopt("dv:n:hVe:j:t:", ["diskspace-error"]);
491
-// FIXME: getopt doesn't return FALSE on parse failure as documented!
+// We can't fully trust the output of getopt, it has outstanding bugs:
492
+// https://bugs.php.net/search.php?cmd=display&search_for=getopt&x=0&y=0
493
if ($options===false) {
494
echo "Error: parsing options failed.\n";
495
usage();
0 commit comments