diff --git a/collects/help/private/config.ss b/collects/help/private/config.ss index 392d3a2f93..0552886212 100644 --- a/collects/help/private/config.ss +++ b/collects/help/private/config.ss @@ -25,7 +25,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)