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

Reply via email to