diff options
| author | Scott Ullrich <sullrich@pfsense.org> | 2007-05-01 21:48:27 +0000 |
|---|---|---|
| committer | Scott Ullrich <sullrich@pfsense.org> | 2007-05-01 21:48:27 +0000 |
| commit | b554dc43010ee064dd91768dac36b0dca8e2a834 (patch) | |
| tree | 862653d8962e8675c73a1e8194c2a2e3e376aa32 /etc/inc/pfsense-utils.inc | |
| parent | 3274f985265a4093cddb731faecb9fa88e473857 (diff) | |
| download | pfsense-b554dc43010ee064dd91768dac36b0dca8e2a834.zip pfsense-b554dc43010ee064dd91768dac36b0dca8e2a834.tar.gz | |
Add does_url_exist() which can verify a URL exists before downloading.
Diffstat (limited to 'etc/inc/pfsense-utils.inc')
| -rw-r--r-- | etc/inc/pfsense-utils.inc | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/etc/inc/pfsense-utils.inc b/etc/inc/pfsense-utils.inc index c8c4942..5b71123 100644 --- a/etc/inc/pfsense-utils.inc +++ b/etc/inc/pfsense-utils.inc @@ -32,6 +32,24 @@ * POSSIBILITY OF SUCH DAMAGE. * */ + + /****f* pfsense-utils/does_url_exist + * NAME + * does_url_exist + * INPUTS + * none + * RESULT + * returns true if a url is available + ******/ +function does_url_exist($url) { + $fd = fopen("http://us3.php.net/manual/en/function.header.php","r"); + fclose($fd); + if($fd) { + return true; + } else { + return false; + } +} /****f* pfsense-utils/is_private_ip * NAME |
