diff options
| -rw-r--r-- | scripts/commandline.inc | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/commandline.inc b/scripts/commandline.inc index 4a7757fb9..53b9a490b 100644 --- a/scripts/commandline.inc +++ b/scripts/commandline.inc @@ -63,7 +63,14 @@ if (isset($longoptions)) { $parser = new Console_Getopt(); -list($options, $args) = $parser->getopt($argv, $shortoptions, $longoptions); +$result = $parser->getopt($argv, $shortoptions, $longoptions); + +if (PEAR::isError($result)) { + print $result->getMessage()."\n"; + exit(1); +} else { + list($options, $args) = $result; +} function show_help() { |