diff options
| -rw-r--r-- | inc/init.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/inc/init.php b/inc/init.php index 6ed060317..46576e000 100644 --- a/inc/init.php +++ b/inc/init.php @@ -11,7 +11,8 @@ define('DOKU_START_TIME', delta_time()); // if available load a preload config file - @include(fullpath(dirname(__FILE__)).'/preload.php'); + $preload = fullpath(dirname(__FILE__)).'/preload.php'; + if (@file_exists($preload)) include($preload); // define the include path if(!defined('DOKU_INC')) define('DOKU_INC',fullpath(dirname(__FILE__).'/../').'/'); |