diff --git a/usr/local/www/crash_reporter.php b/usr/local/www/crash_reporter.php index 06f3bdf7d1..785ed0294e 100755 --- a/usr/local/www/crash_reporter.php +++ b/usr/local/www/crash_reporter.php @@ -77,6 +77,12 @@ function output_crash_reporter_html($crash_reports) { $pgtitle = array(gettext("Diagnostics"),gettext("Crash reporter")); include('head.inc'); +$crash_report_header = "Crash report begins. Anonymous machine information:\n\n"; +$crash_report_header .= php_uname("m") . "\n"; +$crash_report_header .= php_uname("r") . "\n"; +$crash_report_header .= php_uname("v") . "\n"; +$crash_report_header .= "\nCrash report details:\n\n"; + ?> @@ -88,6 +94,7 @@ include('head.inc'); "; @@ -108,7 +115,8 @@ include('head.inc'); exit; } else { $crash_files = glob("/var/crash/*"); - if(is_array($crash_files)) + $crash_reports .= $crash_report_header; + if(is_array($crash_files)) foreach($crash_files as $cf) $crash_reports .= file_get_contents($cf); else