From 0f8efaf4cf413c1d265edfa85866df6309c7a023 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 29 Apr 2012 21:47:01 -0400 Subject: [PATCH] Fold class list into general server stats --- ui_main.ml | 7 ++----- web/bootstrap/templates/index.xml | 9 ++++++--- web/index.html | 9 ++++++--- web/ui_main.js | 6 ++++-- 4 files changed, 18 insertions(+), 13 deletions(-) diff --git a/ui_main.ml b/ui_main.ml index 95a3c7b..79fae86 100644 --- a/ui_main.ml +++ b/ui_main.ml @@ -63,12 +63,9 @@ let api_server_stats id r = Json.resp_ok [] (Json.Rec ["connection_count", Json.Num (float_of_int !Connections.connection_count); "boot_time", Json.Num boot_time; - "uptime", Json.Num (Unix.time () -. boot_time)]) - -let api_all_classes id r = - Json.resp_ok [] (Json.Arr (List.map Json.str (Factory.all_class_names ()))) + "uptime", Json.Num (Unix.time () -. boot_time); + "classes", Json.Arr (List.map Json.str (Factory.all_class_names ()))]) let init () = register_dispatcher ("/_/server_stats", api_server_stats); - register_dispatcher ("/_/all_classes", api_all_classes); ignore (Util.create_thread "HTTP listener" None (Net.start_net "HTTP" 5678) start) diff --git a/web/bootstrap/templates/index.xml b/web/bootstrap/templates/index.xml index b6e065e..511de3c 100644 --- a/web/bootstrap/templates/index.xml +++ b/web/bootstrap/templates/index.xml @@ -14,11 +14,14 @@ Boot time - + + ; + up seconds + - Uptime - + Available node classes + diff --git a/web/index.html b/web/index.html index 61afed7..4dde992 100644 --- a/web/index.html +++ b/web/index.html @@ -35,11 +35,14 @@ Boot time - + + ; + up seconds + - Uptime - + Available node classes + diff --git a/web/ui_main.js b/web/ui_main.js index 2019307..3d9798c 100644 --- a/web/ui_main.js +++ b/web/ui_main.js @@ -5,7 +5,8 @@ function server_disconnected() { $("#server_ok").text("Disconnected"); $("#server_stats_connection_count").text("—"); $("#server_stats_boot_time").text("—"); - $("#server_stats_uptime").text("— seconds"); + $("#server_stats_uptime").text("—"); + $("#server_classes").text("—"); } function refresh_server_stats() { @@ -14,7 +15,8 @@ function refresh_server_stats() { $("#server_ok").text("OK"); $("#server_stats_connection_count").text(data.connection_count); $("#server_stats_boot_time").text(new Date(data.boot_time * 1000)); - $("#server_stats_uptime").text(data.uptime + " seconds"); + $("#server_stats_uptime").text(data.uptime); + $("#server_classes").text(data.classes.join(", ")); switch ($tap.readyState) { case 0: // connecting case 1: // open