From dfdd41655d0ee3137b1d024a01d44a7744078352 Mon Sep 17 00:00:00 2001
From: Benjamin Sonntag <benjamin@octopuce.fr>
Date: Fri, 28 Mar 2014 16:08:21 +0100
Subject: [PATCH] fixing 'undefined index' error

---
 bureau/class/db_mysql.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/bureau/class/db_mysql.php b/bureau/class/db_mysql.php
index 11bc4ed6..01ee7de2 100644
--- a/bureau/class/db_mysql.php
+++ b/bureau/class/db_mysql.php
@@ -295,7 +295,10 @@ class DB_Sql {
    * @return integer
    */
   function f($Name) {
-    return $this->Record[$Name];
+    if (isset($this->Record[$Name]))
+      return $this->Record[$Name];
+    else
+      return false;
   }
 
   function p($Name) {