Fixed array_shift messing up array_slice..

diff --git a/pear/Console/Getopt.php b/pear/Console/Getopt.php
index 964421943f27f70a3326d31a3de0dc84d88697f7..15fe9efe34fe389be06717c0df505893df242c88 100644 (file)
--- a/pear/Console/Getopt.php
+++ b/pear/Console/Getopt.php
@@ -82,6 +82,7 @@ class Console_Getopt {
         }
         if (isset($args[0]{0}) && $args[0]{0} != '-') {
             array_shift($args);
+            $args = array_values($args);
         }
         reset($args);
         while (list($i, $arg) = each($args)) {