diff --git a/inc/init.php b/inc/init.php index 6ed0603176bd5c609bf78a212d0b7962673dd4a9..46576e000e41647aaa8abd895ca301be296bf1c7 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__).'/../').'/');