argv example in phpdbginit

diff --git a/.phpdbginit b/.phpdbginit
index 9e02c6d8a547442fbccba75f3ac30030f5f048fb..6e059d72e37f304d1f89816792cb8c2f440b9001 100644 (file)
--- a/.phpdbginit
+++ b/.phpdbginit
@@ -43,11 +43,42 @@ if (function_exists('readline_completion_function')) {
                );
        });
 }
+
+/*
+ Setting argv made trivial ...
+ 
+ argv 1 2 3 4
+ ^ set argv for next execution
+ 
+ argv
+ ^ unset argv for next execution
+ 
+*/
+function argv()
+{
+       $argv = func_get_args();
+       
+       if (!$argv) {
+               $_SERVER['argv'] = array();
+               $_SERVER['argc'] = 0;
+               return;
+       }
+       
+       $_SERVER['argv'] = array_merge
+       (
+               array("phpdbg"),
+               $argv
+       ); 
+       $_SERVER['argc'] = count($_SERVER['argv']);
+       
+       return $_SERVER['argv'];
+}
 :>
 ##########################################################
 # Now carry on initializing phpdbg ...
 ##########################################################
 # R my_debugging_function
+# R argv
 
 ##########################################################
 # PHP has many functions that might be useful