philip Tue May 2 18:01:21 2006 UTC
Modified files: /phpdoc/scripts xml-check.php Log: Added success message. http://cvs.php.net/viewcvs.cgi/phpdoc/scripts/xml-check.php?r1=1.2&r2=1.3&diff_format=u Index: phpdoc/scripts/xml-check.php diff -u phpdoc/scripts/xml-check.php:1.2 phpdoc/scripts/xml-check.php:1.3 --- phpdoc/scripts/xml-check.php:1.2 Wed Aug 4 12:31:08 2004 +++ phpdoc/scripts/xml-check.php Tue May 2 18:01:21 2006 @@ -45,7 +45,13 @@ $errors = file_get_contents("$example_filename.out"); $errors = preg_replace("~.*validity error : IDREF attribute linkend references an unknown ID.*\n.*\n.*\n~", "", $errors); $errors = str_replace($example_filename, $_SERVER["argv"][1], $errors); -echo $errors; + +if (empty($errors)) { + echo "Success: Your file passed this XML check, do consider running 'make test' as well.\n"; +} else { + echo "Errors: The following XML error exist:\n"; + echo $errors; +} //~ unlink("$example_filename"); unlink("$example_filename.out");