You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
					
					
						
							44 lines
						
					
					
						
							1.2 KiB
						
					
					
				
			
		
		
		
			
			
			
				
					
				
				
					
				
			
		
		
	
	
							44 lines
						
					
					
						
							1.2 KiB
						
					
					
				
								<?php
							 | 
						|
								
							 | 
						|
								function dump_vars() {
							 | 
						|
									global $HTTP_GET_VARS, $HTTP_POST_VARS;
							 | 
						|
									echo "<br><h2>POST_VARS:</h2><br>\n";
							 | 
						|
									while (list($var, $value) = each($HTTP_POST_VARS)) {
							 | 
						|
										echo "<b>$var</b> = [$value]<br>\n";
							 | 
						|
									}
							 | 
						|
									echo "<br><h2>GET_VARS:</h2><br>\n";
							 | 
						|
										while (list($var, $value) = each($HTTP_GET_VARS)) {
							 | 
						|
											echo "<b>$var</b> = [$value]<br>\n";
							 | 
						|
									}
							 | 
						|
									echo "<br><br>";
							 | 
						|
								}
							 | 
						|
								
							 | 
						|
								function dump_array(&$mit,$indent="") {
							 | 
						|
									while (list($key, $value) = each($mit)) {
							 | 
						|
										if (gettype($value)=="array") {
							 | 
						|
												echo "<br>".$indent."<font face='verdana,helvetica' size=1><b>[$key]</b> =";
							 | 
						|
												echo " ARRAY<br>\n".$indent."     [</font><br>\n";
							 | 
						|
								        dump_array($value,$indent."        ");
							 | 
						|
												echo $indent."     ]<br>\n";
							 | 
						|
											} else {
							 | 
						|
											echo $indent."<font face='verdana,helvetica' size=1><b>[$key]</b> =";
							 | 
						|
											echo " [".htmlspecialchars($value)."]</font><br>\n";
							 | 
						|
										}		 
							 | 
						|
									}
							 | 
						|
								}
							 | 
						|
								
							 | 
						|
								function timer($stime,$etime)
							 | 
						|
								{
							 | 
						|
									$stime=split(" ",$stime);
							 | 
						|
									$etime=split(" ",$etime);
							 | 
						|
									return $etime[0]+$etime[1]-$stime[0]-$stime[1];
							 | 
						|
								}
							 | 
						|
								
							 | 
						|
								function debuglog($mit)
							 | 
						|
								{
							 | 
						|
								 global $release;
							 | 
						|
								 if ($release=="dev")
							 | 
						|
								 	error_log(date("[G:i:s] ").$mit,3,"/tmp/php3-ibusz.log");
							 | 
						|
								}
							 | 
						|
								
							 | 
						|
								?>
							 |