From ba34dc615f6511353ee079dcaa7dbc08e3873f3f Mon Sep 17 00:00:00 2001
From: Florent Bruneau <florent.bruneau@polytechnique.org>
Date: Sat, 7 Jun 2008 16:48:19 +0200
Subject: [PATCH] Don't try to convert non-IP to uint.

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>
---
 include/xorg.misc.inc.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/include/xorg.misc.inc.php b/include/xorg.misc.inc.php
index b025e7a..eefbfb2 100644
--- 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) {
-- 
2.1.4