index 8c47f218a97be8d9c53e26e529363e69a9588056..114ab5ddd21fe3cbf8b58558f1fcbee4e1c429ee 100644 (file)
function gen_menu()
{
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'];
if ($this->menu == ""){
$first= TRUE;
$cfg= $this->config->data['MENU'];
{
global $class_mapping;
{
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'];
if ($this->iconmenu == ""){
$cfg= $this->config->data['MENU'];