error_report     1639 run-tests.php  			error_report($file, $log_filename, $tested);
error_report     1526 server-tests.php 				$this->error_report($file,$logname,$tested);