diff --git a/public_html/deployment/inc_functions.php b/public_html/deployment/inc_functions.php index 6bdcbf9990f22588dfdbe1171f833dfe29036208..17d699b53c0e14581fa49cfed7cfe621f8486e50 100644 --- a/public_html/deployment/inc_functions.php +++ b/public_html/deployment/inc_functions.php @@ -201,7 +201,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))