Jeff Welch
781cea6aa1
When a file is executed on the command line without the --file argument, $_SERVER['argv'] contains an extraneous empty string at the beginning of the array. (Note this bug does not occur when the --file argument is used.) Github pull request 767: https://github.com/facebook/hiphop-php/pull/767
4 linhas
90 B
PHP
4 linhas
90 B
PHP
<?php
|
|
var_dump($argc, count($argv));
|
|
var_dump($_SERVER['argc'], count($_SERVER['argv']));
|