Make sure to push the newly activated plugins at the end of the list.…

… Should fix #822
pydio · Feb 16, 2015 · f81ab4b · f81ab4b
1 parent 9883820
commit f81ab4b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/core/src/core/classes/class.AJXP_PluginsService.php b/core/src/core/classes/class.AJXP_PluginsService.php
@@ -456,6 +456,9 @@ public function setPluginActiveInst($type, $name, $active=true, $updateInstance
                 }
             }
         }
+        if(isSet($this->activePlugins[$type.".".$name])){
+            unset($this->activePlugins[$type.".".$name]);
+        }
         $this->activePlugins[$type.".".$name] = $active;
         if (isSet($updateInstance) && isSet($this->registry[$type][$name])) {
             $this->registry[$type][$name] = $updateInstance;