add server.py

It runs a web server and imports the request handling classes from
get.py directly, hence eliminating the performance culprit (which was
the `import` processing for each request).

1 files changed, 3 insertions, 3 deletions

diff --git a/index.html b/index.html
index 8c46b82..35d118e 100644
--- a/index.html
+++ b/index.html
@@ -76,7 +76,7 @@ function set_top(data) {
 }
 
 function refresh_top() {
-    $.get('cgi-bin/get.sh?what=top', function(data) {
+    $.get('top', function(data) {
         set_top(JSON.parse(data));
     });
 }
@@ -162,7 +162,7 @@ function set_users(data) {
 }
 
 function refresh_status() {
-    $.get('cgi-bin/get.sh?what=status', function(data) {
+    $.get('status', function(data) {
         data = JSON.parse(data);
         set_top(data['top']);
         set_hostname(data['hostname']);
@@ -172,7 +172,7 @@ function refresh_status() {
 }
 
 function refresh_timers() {
-    $.get('cgi-bin/get.sh?what=timers', function(data) {
+    $.get('timers', function(data) {
         data = JSON.parse(data);
         set_system(data['system']);
         set_users(data['user']);