1 files changed, 1 insertions, 1 deletions
diff --git a/itjs.class b/itjs.class
index 76fd64c..88fd65a 100644
--- a/itjs.class
+++ b/itjs.class
@@ -111,7 +111,7 @@ function filenames($filelist)
 	$result = array();
 	$path = $GLOBALS['ULTRAHOME'] . "/itjs";
 	$itjs = "/www/server/phpinclude/itools/itjs";
-	$libsearch = "/www/lib.search.ch";
+	$libsearch = strlen($GLOBALS['debug_lib']) > 1 ? "/www/lib-" . $GLOBALS['debug_lib'] . ".search.ch" : "/www/lib.search.ch";
 	$special = array(
 		"itools" => "$itjs/it.js,$itjs/http.js,$itjs/loader.js,$itjs/state.js,$itjs/timer.js",
 		"boot.js" => "$itjs/boot.js",