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");