diff options
| author | marcus <marcus@36083f99-b078-4883-b0ff-0f9b5a30f544> | 2009-01-21 12:33:23 +0000 |
|---|---|---|
| committer | marcus <marcus@36083f99-b078-4883-b0ff-0f9b5a30f544> | 2009-01-21 12:33:23 +0000 |
| commit | 3d87b4803566d8997de4b36e490056fa38615e72 (patch) | |
| tree | d44f3be39ed58f2c24e9e70b096b665372fe5404 | |
| parent | 3acc52dd49aac3e8759307301b1f452ab04f342b (diff) | |
| download | elgg-3d87b4803566d8997de4b36e490056fa38615e72.tar.gz elgg-3d87b4803566d8997de4b36e490056fa38615e72.tar.bz2 | |
Closes #700: If a plugin doesn't physically exist then it is deleted.
git-svn-id: https://code.elgg.org/elgg/trunk@2594 36083f99-b078-4883-b0ff-0f9b5a30f544
| -rw-r--r-- | engine/lib/plugins.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/engine/lib/plugins.php b/engine/lib/plugins.php index 358dc3ddf..ff6f1aa0d 100644 --- a/engine/lib/plugins.php +++ b/engine/lib/plugins.php @@ -622,6 +622,8 @@ { global $CONFIG, $ENABLED_PLUGINS_CACHE; + if (!file_exists($CONFIG->pluginspath . $plugin)) return false; + $site_guid = (int) $site_guid; if ($site_guid == 0) $site_guid = $CONFIG->site_guid; |