Updated pluglist

[gosa.git] / gosa-core / include / class_pluglist.inc

diff --git a/gosa-core/include/class_pluglist.inc b/gosa-core/include/class_pluglist.inc
index 8c47f218a97be8d9c53e26e529363e69a9588056..114ab5ddd21fe3cbf8b58558f1fcbee4e1c429ee 100644 (file)
--- a/gosa-core/include/class_pluglist.inc
+++ b/gosa-core/include/class_pluglist.inc
@@ -142,6 +142,19 @@ class pluglist {
 
        function gen_menu()
        {
+    /* Check if class_location.inc has changed, this is the case 
+        if we have installed or removed plugins. 
+     */
+    if(!session::is_set("class_location.inc:timestamp")){
+      $tmp = stat("../include/class_location.inc");
+      session::set("class_location.inc:timestamp",$tmp['mtime']);
+    }else{
+      $tmp = stat("../include/class_location.inc");
+      if($tmp['mtime'] != session::get("class_location.inc:timestamp")){
+        $this->menu = "";
+      }
+    }
+
                if ($this->menu == ""){
                        $first= TRUE;
                        $cfg= $this->config->data['MENU'];
@@ -254,6 +267,19 @@ class pluglist {
        {
                global $class_mapping;
 
+    /* Check if class_location.inc has changed, this is the case 
+        if we have installed or removed plugins. 
+     */
+    if(!session::is_set("class_location.inc:timestamp")){
+      $tmp = stat("../include/class_location.inc");
+      session::set("class_location.inc:timestamp",$tmp['mtime']);
+    }else{
+      $tmp = stat("../include/class_location.inc");
+      if($tmp['mtime'] != session::get("class_location.inc:timestamp")){
+        $this->iconmenu = "";
+      }
+    }
+
                if ($this->iconmenu == ""){
                        $cfg= $this->config->data['MENU'];