(require (lib "unitsig.ss")
         (lib "servlet-sig.ss" "web-server")
         (lib "servlet-helpers.ss" "web-server")
         (lib "string-constant.ss" "string-constants"))

(require "private/refresh-util.ss")
(require "private/headelts.ss")

(unit/sig ()
  (import servlet^)

  (report-errors-to-browser send/finish)

  (let* ([bindings (request-bindings initial-request)]
	 [tmp-dir (extract-binding/single 'tmp-dir bindings)])
    (delete-directory/r tmp-dir)
    `(HTML 
      (HEAD ,hd-css
            ,@hd-links
	    (TITLE "PLT manuals refresh stopped"))
      (BODY
	(H2 (B ,(color-with "red" (string-constant plt:hd:refresh-stopped))))
	(P)
	,home-page))))
