diff --git a/public_html/deployment/inc_functions.php b/public_html/deployment/inc_functions.php index f79a1b93a2c82f6aa9ed70e0995b1d81ee95f2a1..3dea8abc0b30f094c402463e4aa03a0e06d58777 100644 --- a/public_html/deployment/inc_functions.php +++ b/public_html/deployment/inc_functions.php @@ -189,7 +189,8 @@ function getTopArea() { $sMyPhase = "[phase]"; $sMyRev = " [no rev] "; - $sJsonfile = $_SERVER["DOCUMENT_ROOT"] . "ci-webgui.json"; + // bug#1511 json file was moved 1 level up + $sJsonfile = __DIR__ . "/../../ci-webgui.json"; if (file_exists($sJsonfile)) { $aJson = json_decode(file_get_contents($sJsonfile), true); if (array_key_exists("date", $aJson))