diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index 0f66000d25..9ff3ff0545 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -50,6 +50,9 @@ (log-file-path ,(path->string (build-path (current-directory) "web-status-log.ss"))) (file-root "htdocs") (servlet-root ,web-dir) + (mime-types ,(path->string (build-path (collection-path "web-server") + "default-web-root" + "mime.types"))) (password-authentication ,(path->string (build-path (current-directory) "web-status-passwords")))))) (virtual-host-table)))