Improves getXorgId.

Signed-off-by: Stéphane Jacob <sj@m4x.org>

diff --git a/classes/profile.php b/classes/profile.php
index 63da84c..8ebf639 100644 (file)
--- a/classes/profile.php
+++ b/classes/profile.php
@@ -642,6 +642,10 @@ class Profile
 
     public static function getXorgId($schoolId)
     {
+        if (!preg_match('/^[0-9]{6}$/', $xorgId)) {
+            return null;
+        }
+
         $year = intval(substr($schoolId, 0, 3));
         $rank = intval(substr($schoolId, 3, 3));