From cada9dd67c09f2d97a6207fe62b9c8b0d00aae40 Mon Sep 17 00:00:00 2001 From: Yasen Pramatarov Date: Sat, 19 Oct 2024 16:09:16 +0300 Subject: [PATCH] Adds Jilo status page --- app/pages/status.php | 8 ++++++++ app/templates/page-sidebar.php | 5 +++++ app/templates/status-server.php | 19 +++++++++++++++++++ public_html/index.php | 6 +++++- 4 files changed, 37 insertions(+), 1 deletion(-) create mode 100644 app/pages/status.php create mode 100644 app/templates/status-server.php diff --git a/app/pages/status.php b/app/pages/status.php new file mode 100644 index 0000000..c43310d --- /dev/null +++ b/app/pages/status.php @@ -0,0 +1,8 @@ + diff --git a/app/templates/page-sidebar.php b/app/templates/page-sidebar.php index 36353e8..d166428 100644 --- a/app/templates/page-sidebar.php +++ b/app/templates/page-sidebar.php @@ -78,6 +78,11 @@ $timeNow = new DateTime('now', new DateTimeZone($userTimezone)); + +
  • + status +
  • +
    hasRight($user_id, 'view app logs')) {?>
  • diff --git a/app/templates/status-server.php b/app/templates/status-server.php new file mode 100644 index 0000000..d6d9c03 --- /dev/null +++ b/app/templates/status-server.php @@ -0,0 +1,19 @@ + + +
    +

    Jilo platform status

    +
    +

    + Jilo Server: + + running + + not running + +
    + host: , + port: , + endpoint: +

    +
    +
    diff --git a/public_html/index.php b/public_html/index.php index 4c15cf8..bc4bbee 100644 --- a/public_html/index.php +++ b/public_html/index.php @@ -41,6 +41,7 @@ $allowed_urls = [ 'profile', 'config', + 'status', 'logs', 'help', @@ -151,7 +152,10 @@ if ($page == 'logout') { require '../app/classes/server.php'; $serverObject = new Server($dbWeb); - $server_status = $serverObject->getServerStatus(); + $server_host = '127.0.0.1'; + $server_port = '8080'; + $server_endpoint = '/health'; + $server_status = $serverObject->getServerStatus($server_host, $server_port, $server_endpoint); if (!$server_status) { $error = 'The Jilo Server is not running. Some data may be old and incorrect.'; }