Parent Directory
| 
Revision Log
| 
Patch
| revision 731 by richard.p.wagner, Tue Aug 19 05:41:49 2008 UTC | revision 734 by richard.p.wagner, Tue Aug 19 19:37:17 2008 UTC | |
|---|---|---|
| # | Line 25 | Line 25 |
| 25 | print "</pre>"; | print "</pre>"; |
| 26 | } | } |
| 27 | ||
| 28 | function url_exists($url) { | |
| 29 | $hdrs = @get_headers($url); | |
| 30 | return is_array($hdrs) ? preg_match('/^HTTP\\/\\d+\\.\\d+\\s+2\\d\\d\\s+.*$/',$hdrs[0]) : FALSE; | |
| 31 | } | |
| 32 | ||
| 33 | ?> | ?> |
|
||||||||
| msdemlei@ari.uni-heidelberg.de | ViewVC Help |
| Powered by ViewVC 1.1.26 |