diff options
author | Thomas Steur <thomas.steur@googlemail.com> | 2014-08-15 12:57:10 +0400 |
---|---|---|
committer | Thomas Steur <thomas.steur@googlemail.com> | 2014-08-15 12:57:10 +0400 |
commit | 3c3d4412dfcf236ba15d643ab83b179eae6033da (patch) | |
tree | e4b698795529ab8882174b6109248cd8a4e38e68 /core/Plugin.php | |
parent | 1a40bc2c589e6f74621d1126454bd5901aa302ff (diff) |
before including a file make sure it exists... makes the whole cache kinda needless but avoid a warning if a server's APC is not configured correctly for a few seconds/minutes after updating
Diffstat (limited to 'core/Plugin.php')
-rw-r--r-- | core/Plugin.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/core/Plugin.php b/core/Plugin.php index 3b3764818f..bc24c2317a 100644 --- a/core/Plugin.php +++ b/core/Plugin.php @@ -316,7 +316,9 @@ class Plugin return; // might by "false" in case has no menu, widget, ... } - include_once $componentFile; + if (file_exists($componentFile)) { + include_once $componentFile; + } } else { $this->cache->set(false); // prevent from trying to load over and over again for instance if there is no Menu for a plugin |