Don't try to convert non-IP to uint.

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>

diff --git a/include/xorg.misc.inc.php b/include/xorg.misc.inc.php
index b025e7a..eefbfb2 100644 (file)
--- a/include/xorg.misc.inc.php
+++ b/include/xorg.misc.inc.php
@@ -235,6 +235,9 @@ function make_forlife($prenom, $nom, $promo)
 function ip_to_uint($ip)
 {
     $part = explode('.', $ip);
+    if (count($part) != 4) {
+        return null;
+    }
     $v = 0;
     $fact = 0x1000000;
     for ($i = 0 ; $i < 4 ; ++$i) {