diff options
| author | Esther Brunner <esther@kaffeehaus.ch> | 2005-09-02 16:59:53 +0200 |
|---|---|---|
| committer | Esther Brunner <esther@kaffeehaus.ch> | 2005-09-02 16:59:53 +0200 |
| commit | da682d4efe15ba703873b4989e0fdb895dd3f140 (patch) | |
| tree | d431d5a96db6dd2f841b0f23a620a7a499c61fb0 /inc/pluginutils.php | |
| parent | b7551a6d968242f2762d99d4bbb2bcab12886f0d (diff) | |
| download | rpg-da682d4efe15ba703873b4989e0fdb895dd3f140.tar.gz rpg-da682d4efe15ba703873b4989e0fdb895dd3f140.tar.bz2 | |
error reporting for plugins turned on once again; checks if file exists
darcs-hash:20050902145953-283c4-d03ea404000d8b307d91b678f3ed3fc1a0ebac15.gz
Diffstat (limited to 'inc/pluginutils.php')
| -rw-r--r-- | inc/pluginutils.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/inc/pluginutils.php b/inc/pluginutils.php index c8eed8555..67ce191a3 100644 --- a/inc/pluginutils.php +++ b/inc/pluginutils.php @@ -101,9 +101,11 @@ function &plugin_load($type,$name){ } //try to load the wanted plugin file - if(!@include_once(DOKU_PLUGIN."$name/$type.php")){ + if (file_exists(DOKU_PLUGIN."$name/$type.php")){ + include_once(DOKU_PLUGIN."$name/$type.php"); + }else{ list($plugin, $component) = preg_split("/_/",$name, 2); - if (!$component || !@include_once(DOKU_PLUGIN."$plugin/$type/$component.php")) { + if (!$component || !include_once(DOKU_PLUGIN."$plugin/$type/$component.php")) { return null; } } |