From db88fcba0236134a6563ddf6209596a83d7d7ce4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 26 Aug 2005 00:57:51 +0000 Subject: [PATCH] updated for new web-server svn: r679 --- .../status-web-root/conf/collect-garbage.html | 7 +++++++ collects/handin-server/web-status-server.ss | 3 ++- 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 collects/handin-server/status-web-root/conf/collect-garbage.html diff --git a/collects/handin-server/status-web-root/conf/collect-garbage.html b/collects/handin-server/status-web-root/conf/collect-garbage.html new file mode 100644 index 0000000000..48017d9299 --- /dev/null +++ b/collects/handin-server/status-web-root/conf/collect-garbage.html @@ -0,0 +1,7 @@ + +Garbage Collect Ran + +

The garbage collection routine has run.

+

Powered by PLT

+ + diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index e474e60627..f6508d506c 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -27,7 +27,8 @@ (servlets-refreshed "servlet-refresh.html") (passwords-refreshed "passwords-refresh.html") (file-not-found-message "not-found.html") - (protocol-message "protocol-error.html")) + (protocol-message "protocol-error.html") + (collect-garbage "collect-garbage.html")) (timeouts (default-servlet-timeout 120) (password-connection-timeout 300)