diff options
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 c857cf0..cee1a0f 100644 --- a/etc/inc/pfsense-utils.inc +++ b/etc/inc/pfsense-utils.inc @@ -33,6 +33,24 @@ * */ +/****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 * is_private_ip |