diff options
author | vlakoff <vlakoff@gmail.com> | 2013-05-12 10:57:09 +0200 |
---|---|---|
committer | vlakoff <vlakoff@gmail.com> | 2013-05-12 10:57:09 +0200 |
commit | fadb82230ba29b4c8a1e5f97092f7d775491f340 (patch) | |
tree | 14fac7027f8168172d0e51a197a2764cf9db9793 /system/core/Loader.php | |
parent | 206d951e3da15bf9c69b3b8860c8bd274fb82b6f (diff) |
Do not trigger a possible custom autoloader, as it is irrelevant here
These were the last two calls of class_exists() without the $autoloader = FALSE argument.
Diffstat (limited to 'system/core/Loader.php')
-rw-r--r-- | system/core/Loader.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/core/Loader.php b/system/core/Loader.php index d4e63231c..6f90aec8b 100644 --- a/system/core/Loader.php +++ b/system/core/Loader.php @@ -658,7 +658,7 @@ class CI_Loader { return FALSE; } - if ( ! class_exists('CI_Driver_Library')) + if ( ! class_exists('CI_Driver_Library', FALSE)) { // We aren't instantiating an object here, just making the base class available require BASEPATH.'libraries/Driver.php'; |