diff --git a/src/Request/Config/KernelConfigClass.php b/src/Request/Config/KernelConfigClass.php
index 5659e0c..be09e86 100644
--- a/src/Request/Config/KernelConfigClass.php
+++ b/src/Request/Config/KernelConfigClass.php
@@ -48,6 +48,8 @@ class KernelConfigClass
 
 	private static $userHost = "";
 	private static $userName = "";
+	
+	private static $timeToBatchMode = 10; // secs : interval after which batch mode is launched
 
 	private static $kernelAbout   = "Created by CDPP/AMDA(c)";
 	private static $kernelAcknow  = "CDPP/AMDA Team";
@@ -156,10 +158,15 @@ class KernelConfigClass
 				"LD_LIBRARY_PATH" => self::$gccDir."lib64:".self::$gccDir."lib:".getenv("LD_LIBRARY_PATH")
 		);
 	}
-
+	
+	public static function setTimeToBatchMode($timeToBatchMode)
+	{
+		self::$timeToBatchMode = $timeToBatchMode;
+	}
+	
 	public static function getTimeToBatchMode()
 	{
-		return 10;
+		return self::$timeToBatchMode;
 	}
 
 	public static function write($working_dir, $compilation_path, $localbase_path)
--
libgit2 0.21.2