php-gtk-generator.patch

   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);'));