diff --git a/resources/require.php b/resources/require.php index b5fd0242d8..95120e666e 100644 --- a/resources/require.php +++ b/resources/require.php @@ -68,8 +68,10 @@ //echo "Project Root: ".$_SERVER["PROJECT_ROOT"]."\n"; //class auto loader - include "resources/classes/auto_loader.php"; - $autoload = new auto_loader(); + if (!class_exists('auto_loader')) { + include "resources/classes/auto_loader.php"; + $autoload = new auto_loader(); + } //additional includes require_once "resources/php.php";