diff --git a/setup/manageheader.php b/setup/manageheader.php index b37f173e22..69911c55be 100644 --- a/setup/manageheader.php +++ b/setup/manageheader.php @@ -200,7 +200,7 @@ function check_header_form() //echo "egw_info[server]=
".print_r($GLOBALS['egw_info']['server'],true)."
\n"; //echo "egw_domain=
".print_r($GLOBALS['egw_domain'],true)."
\n"; - if ($validation_errors) echo "validation_errors=
".print_r($validation_errors,true)."
\n"; + //if ($validation_errors) echo "validation_errors=
".print_r($validation_errors,true)."
\n"; return $validation_errors; }