]>
Commit | Line | Data |
---|---|---|
c30778b5 | 1 | --- php/generator/generator.php.orig Thu Jul 3 13:12:27 2003 |
2 | +++ php/generator/generator.php Thu Jul 3 13:10:39 2003 | |
3 | @@ -732,6 +732,7 @@ | |
4 | $argc = $HTTP_SERVER_VARS['argc']; | |
5 | $argv = $HTTP_SERVER_VARS['argv']; | |
6 | ||
7 | +foreach($argv as $k=>$v) if ($v=="--") unset($argv[$k]); | |
8 | /* An ugly hack to counteract PHP's pernicious desire to treat + as an argument | |
9 | separator in command-line version. */ | |
10 | array_walk($argv, create_function('&$x', '$x = urldecode($x);')); |