diff options
| -rw-r--r-- | inc/cliopts.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/cliopts.php b/inc/cliopts.php index 6ca8de748..3623d35ad 100644 --- a/inc/cliopts.php +++ b/inc/cliopts.php @@ -86,7 +86,7 @@ define('DOKU_CLI_OPTS_ARG_READ',5);//Could not read argv } // Compatibility between "php extensions.php" and "./extensions.php" - if ( fullpath($_SERVER['argv'][0]) == $bin_file ) { + if ( realpath($_SERVER['argv'][0]) == $bin_file ) { $options = Doku_Cli_Opts::getOpt($args,$short_options,$long_options); } else { $options = Doku_Cli_Opts::getOpt2($args,$short_options,$long_options); |