if ($user == "") putenv("USER=gui");
// includes
-$path = preg_replace("/mKrimi.*/", "mKrimi", __FILE__);
+$path = preg_replace("/verleihnix.*/", "verleihnix", __FILE__);
set_include_path($path . PATH_SEPARATOR . get_include_path());
require_once 'util/Logger.php';
require_once 'util/Config.php';