Commit 91c2a59ac60a742549641276ce0182869321c80d
1 parent
cc3bdb0e
Exists in
master
and in
64 other branches
added setTimeToBatchMode() method
Showing
1 changed file
with
9 additions
and
2 deletions
Show diff stats
src/Request/Config/KernelConfigClass.php
... | ... | @@ -48,6 +48,8 @@ class KernelConfigClass |
48 | 48 | |
49 | 49 | private static $userHost = ""; |
50 | 50 | private static $userName = ""; |
51 | + | |
52 | + private static $timeToBatchMode = 10; // secs : interval after which batch mode is launched | |
51 | 53 | |
52 | 54 | private static $kernelAbout = "Created by CDPP/AMDA(c)"; |
53 | 55 | private static $kernelAcknow = "CDPP/AMDA Team"; |
... | ... | @@ -156,10 +158,15 @@ class KernelConfigClass |
156 | 158 | "LD_LIBRARY_PATH" => self::$gccDir."lib64:".self::$gccDir."lib:".getenv("LD_LIBRARY_PATH") |
157 | 159 | ); |
158 | 160 | } |
159 | - | |
161 | + | |
162 | + public static function setTimeToBatchMode($timeToBatchMode) | |
163 | + { | |
164 | + self::$timeToBatchMode = $timeToBatchMode; | |
165 | + } | |
166 | + | |
160 | 167 | public static function getTimeToBatchMode() |
161 | 168 | { |
162 | - return 10; | |
169 | + return self::$timeToBatchMode; | |
163 | 170 | } |
164 | 171 | |
165 | 172 | public static function write($working_dir, $compilation_path, $localbase_path) |
... | ... |