From 3031d56363a84a1462be0eda5488b91b62bf34d6 Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Mon, 16 Mar 2015 21:48:49 -0700
Subject: [PATCH] web: add option for project-defined text in server status
 page

---
 html/user/server_status.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/html/user/server_status.php b/html/user/server_status.php
index 0bbd5c108b..530346e228 100644
--- a/html/user/server_status.php
+++ b/html/user/server_status.php
@@ -130,6 +130,9 @@ function show_status_html($x) {
     if ($daemons->missing_remote_status) {
         echo "<br>Status of remote daemons is missing\n";
     }
+    if (function_exists('server_status_project_info')) {
+        server_status_project_info();
+    }
     echo "</td><td>\n";
     echo "<h2>".tra("Computing status")."</h2>\n";
     start_table();