From 2ab106745aed6254adaef9640a644759ad16a7a2 Mon Sep 17 00:00:00 2001 From: interp Date: Sun, 3 Nov 2002 18:15:53 +0000 Subject: [PATCH] Get rid of a bug. Filtering of instances is disabled to achieve this. --- .../root/surflets/admin-servlets.scm | 35 ++++++++----------- 1 file changed, 15 insertions(+), 20 deletions(-) diff --git a/scheme/httpd/surflets/web-server/root/surflets/admin-servlets.scm b/scheme/httpd/surflets/web-server/root/surflets/admin-servlets.scm index 975c744..f94c4f4 100644 --- a/scheme/httpd/surflets/web-server/root/surflets/admin-servlets.scm +++ b/scheme/httpd/surflets/web-server/root/surflets/admin-servlets.scm @@ -87,7 +87,7 @@ (URL ,(make-callback return-to-main-page) "Return to administration menu.") (br) (URL "/" "Return to main menu."))) - (actions '("unload" "unload all" "view instances"))) + (actions '("unload" "unload all"))) (if (null? loaded-servlets) (send-html `(html (title ,title) (body ,header ,(no-servlets) ,footer))) (receive (action selected-servlets) @@ -118,19 +118,6 @@ ((string=? action "unload all") (unload-servlets outdated? loaded-servlets) (show-servlets 'no-req "Servlets unloaded.")) - ((string=? action "view instances") - (format #t "~s~%" selected-servlets) - (let* ((path-stripped-selected-servlets - (map remove-servlet-path selected-servlets)) - (selected-instances - (filter (lambda (instance-pair) - (member (instance-servlet-name (cdr instance-pair)) - path-stripped-selected-servlets)) - (get-instances)))) - ;; this does not return - (real-instances (sort-list! selected-instances - instance-servlet-name