# HG changeset patch
# User Dan
# Date 1242439590 0
# Node ID dbefcae6b5cd007b13e254b39e254f39858c3d7c
# Parent  61d492c43e5f3ea32174bc2b08f08c4f1bd1f70b
Fixed: cache was being used during plugin fetch, so newly placed plugin files were not listed

diff -r 61d492c43e5f -r dbefcae6b5cd plugins/admin/PluginManager.php
--- a/plugins/admin/PluginManager.php	Sat May 16 02:00:20 2009 +0000
+++ b/plugins/admin/PluginManager.php	Sat May 16 02:06:30 2009 +0000
@@ -117,7 +117,7 @@
     return;
   }
   
-  $plugin_list = $plugins->get_plugin_list();
+  $plugin_list = $plugins->get_plugin_list(null, false);
   
   // Are we processing an AJAX request from the smartform?
   if ( $paths->getParam(0) == 'action.json' )