From cd12a5affc13c31aee24310e25a63821db82068a Mon Sep 17 00:00:00 2001
From: hahn <axel.hahn@iml.unibe.ch>
Date: Thu, 4 Aug 2022 12:32:04 +0200
Subject: [PATCH] rename json (TODO: configure it ore remove)
---
public_html/deployment/inc_functions.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/public_html/deployment/inc_functions.php b/public_html/deployment/inc_functions.php
index 75b8ef4b..9d968bda 100644
--- a/public_html/deployment/inc_functions.php
+++ b/public_html/deployment/inc_functions.php
@@ -206,7 +206,7 @@ function getTopArea() {
$sMyPhase = "[phase]";
$sMyRev = " [no rev] ";
// bug#1511 json file was moved 1 level up
- $sJsonfile = __DIR__ . "/../../ci-webgui.json";
+ $sJsonfile = __DIR__ . "/../../ciserver.json";
if (file_exists($sJsonfile)) {
$aJson = json_decode(file_get_contents($sJsonfile), true);
if (array_key_exists("date", $aJson))
--
GitLab