diff options
author | Andreas Gohr <andi@splitbrain.org> | 2009-02-20 09:48:15 +0100 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2009-02-20 09:48:15 +0100 |
commit | 445840b637b0e1b7754d0236501962ad21d0b5ec (patch) | |
tree | 0bbe4f09dfa7229a98179a57197073a45abea084 | |
parent | 1b11c097057df1982d9ba345f40ecf4cac06804f (diff) | |
download | rpg-445840b637b0e1b7754d0236501962ad21d0b5ec.tar.gz rpg-445840b637b0e1b7754d0236501962ad21d0b5ec.tar.bz2 |
do not use error supression but check for file existance in plugin controller
Ignore-this: b796ce104bb86a05e8bca1c900ef99d8
darcs-hash:20090220084815-7ad00-74aa7c875606a5dfdbd257caa56bf092152e3019.gz
-rw-r--r-- | inc/plugincontroller.class.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index f12c0826a..707d90856 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -79,7 +79,11 @@ class Doku_Plugin_Controller { $dir = $this->get_directory($plugin); $file = $component ? "$type/$component.php" : "$type.php"; - if (!@include_once(DOKU_PLUGIN."$dir/$file")) { + if(!is_file(DOKU_PLUGIN."$dir/$file")){ + return null; + } + + if (!include_once(DOKU_PLUGIN."$dir/$file")) { return null; } |