--- trunk/projects/grid/vospace/php_endpoint/tests/debug_funcs.php	2008/08/19 10:06:54	733
+++ trunk/projects/grid/vospace/php_endpoint/tests/debug_funcs.php	2008/08/19 19:37:17	734
@@ -25,4 +25,9 @@
     print "</pre>"; 
 }
 
+function url_exists($url) {
+  $hdrs = @get_headers($url);
+  return is_array($hdrs) ? preg_match('/^HTTP\\/\\d+\\.\\d+\\s+2\\d\\d\\s+.*$/',$hdrs[0]) : FALSE;
+}
+
 ?>