From 16dba91d11af8ed8c04e7c9a8030e0d56b543835 Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Thu, 18 Jul 2024 14:40:25 -0700
Subject: [PATCH] server status page: fix PHP warning

---
 html/user/server_status.php | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/html/user/server_status.php b/html/user/server_status.php
index 4c04766679..eafc0591d2 100644
--- a/html/user/server_status.php
+++ b/html/user/server_status.php
@@ -256,10 +256,12 @@ function show_status_xml($x) {
         item_xml("name", $app->name);
         item_xml("unsent", $app->unsent);
         item_xml("in_progress", $app->in_progress);
-        item_xml("avg_runtime", $app->info->avg);
-        item_xml("min_runtime", $app->info->min);
-        item_xml("max_runtime", $app->info->max);
-        item_xml("users", $app->info->users);
+        if ($app->info) {
+            item_xml("avg_runtime", $app->info->avg);
+            item_xml("min_runtime", $app->info->min);
+            item_xml("max_runtime", $app->info->max);
+            item_xml("users", $app->info->users);
+        }
         echo "</app>\n";
     }
     echo "</tasks_by_app>