mirror/php-e107
1
0
Fork 0
mirror of https://github.com/e107inc/e107.git synced 2025-08-08 07:36:32 +02:00
Code Issues Releases Wiki Activity

removed some debugging text.

Browse Source
This commit is contained in:
CaMer0n
2009-09-02 17:45:02 +00:00
parent 256de1d33a
commit 722e007d51
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
e107_admin/plugin.php
View File

@@ -11,8 +11,8 @@
| GNU General Public License (http://gnu.org). | GNU General Public License (http://gnu.org).
| |
| $Source: /cvs_backup/e107_0.8/e107_admin/plugin.php,v $ | $Source: /cvs_backup/e107_0.8/e107_admin/plugin.php,v $
| $Revision: 1.40 $ | $Revision: 1.41 $
| $Date: 2009-08-31 14:37:24 $ | $Date: 2009-09-02 17:45:02 $
| $Author: e107coders $ | $Author: e107coders $
+----------------------------------------------------------------------------+ +----------------------------------------------------------------------------+
*/ */
@@ -312,18 +312,18 @@ class pluginManager{
} }
$admin_log->log_event('PLUGMAN_03', $plug['plugin_path'], E_LOG_INFORMATIVE, ''); $admin_log->log_event('PLUGMAN_03', $plug['plugin_path'], E_LOG_INFORMATIVE, '');
print_a($pref['plug_installed']);
if (isset($pref['plug_installed'][$plug['plugin_path']])) if (isset($pref['plug_installed'][$plug['plugin_path']]))
{ {
print_a($plug);
unset($pref['plug_installed'][$plug['plugin_path']]); unset($pref['plug_installed'][$plug['plugin_path']]);
if(save_prefs()) if(save_prefs())
{ {
echo "WORKED"; // echo "WORKED";
} }
else else
{ {
echo "FAILED"; // echo "FAILED";
} }
} }
} }