From 6bf06ac0ba943952daddb2daeb934bdf60002fa2 Mon Sep 17 00:00:00 2001
From: krakjoe <joe.watkins@live.co.uk>
Date: Fri, 22 Nov 2013 20:11:06 +0000
Subject: [PATCH] argv example in phpdbginit

---
 .phpdbginit | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/.phpdbginit b/.phpdbginit
index 9e02c6d8a5..6e059d72e3 100644
--- 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
-- 
2.40.0