X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=planetlab%2Fincludes%2Fplc_functions.php;fp=planetlab%2Fincludes%2Fplc_functions.php;h=606bc24c73da73b3255f30db15468a807da96757;hb=a22283104e3671eaddb8823b7d1f585a0721b888;hp=9ebf7c9ab083d32c2fe9634c5dfc78ed96fdcac5;hpb=59830fc795440fd636865f30cb7ed1e2d29f4a55;p=plewww.git

diff --git a/planetlab/includes/plc_functions.php b/planetlab/includes/plc_functions.php
index 9ebf7c9..606bc24 100644
--- a/planetlab/includes/plc_functions.php
+++ b/planetlab/includes/plc_functions.php
@@ -223,24 +223,24 @@ function topdomain ($hostname) {
   return $exploded[0];
 }
 
-// with php-5.3 on f12, ereg is marked deprecated, using PCRE instead
-// looks unused
-function is_valid_email_addr ($email) {
-  if (preg_match("/^.+@.+\\..+$/", $email) ) {
-    return true;
-  } else {
-    return false;
-  }
-}
-
-// looks unused
-function is_valid_url ($url) {
-  if (preg_match("/^(http|https):\/\/.+\..+$/", strtolower($url) ) ) {
-    return true;
-  } else {
-    return false;
-  }
-}
+//// with php-5.3 on f12, ereg is marked deprecated, using PCRE instead
+//// looks unused
+// function is_valid_email_addr ($email) {
+//  if (preg_match("/^.+@.+\\..+$/", $email) ) {
+//    return true;
+//  } else {
+//    return false;
+//  }
+//}
+//
+//// looks unused
+//function is_valid_url ($url) {
+//  if (preg_match("/^(http|https):\/\/.+\..+$/", strtolower($url) ) ) {
+//    return true;
+//  } else {
+//    return false;
+//  }
+//}
 
 function is_valid_ip ($ip) {
   if (preg_match("/^([0-9]{1,3})\.([0-9]{1,3})\.([0-9]{1,3})\.([0-9]{1,3})$/", $ip ) ) {