mirror/php-e107
1
0
Fork 0
mirror of https://github.com/e107inc/e107.git synced 2025-08-01 20:30:39 +02:00
Code Issues Releases Wiki Activity

Removal of debug code

Browse Source
This commit is contained in:
mcfly
2008-02-13 00:47:36 +00:00
parent d0773bbc51
commit abcf003850
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
e107_handlers/plugin_class.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_handlers/plugin_class.php,v $ | $Source: /cvs_backup/e107_0.8/e107_handlers/plugin_class.php,v $
| $Revision: 1.30 $ | $Revision: 1.31 $
| $Date: 2008-02-13 00:46:05 $ | $Date: 2008-02-13 00:47:36 $
| $Author: mcfly_e107 $ | $Author: mcfly_e107 $
+----------------------------------------------------------------------------+ +----------------------------------------------------------------------------+
*/ */
@@ -103,9 +103,6 @@ class e107plugin
$pluginList = $fl->get_files(e_PLUGIN, "^plugin\.(php|xml)$", "standard", 1); $pluginList = $fl->get_files(e_PLUGIN, "^plugin\.(php|xml)$", "standard", 1);
$sp = FALSE; $sp = FALSE;
print_a($pluginList);
// exit;
// Read all the plugin DB info into an array to save lots of accesses // Read all the plugin DB info into an array to save lots of accesses
$pluginDBList = array(); $pluginDBList = array();
if ($sql->db_Select('plugin',"*")) if ($sql->db_Select('plugin',"*"))
@@ -191,7 +188,6 @@ class e107plugin
// Now scan the table, updating the DB where needed // Now scan the table, updating the DB where needed
foreach ($pluginDBList as $plug_path => $plug_info) foreach ($pluginDBList as $plug_path => $plug_info)
{ {
print_a($plug_info);
if ($plug_info['status'] == 'read') if ($plug_info['status'] == 'read')
{ // In table, not on server - delete it { // In table, not on server - delete it
$sql->db_Delete('plugin', "`plugin_id`={$plug_info['plugin_id']}"); $sql->db_Delete('plugin', "`plugin_id`={$plug_info['plugin_id']}");