some reformatting and reorganization

svn: r4828
This commit is contained in:
Eli Barzilay 2006-11-12 10:38:59 +00:00
parent dffa753378
commit fd4627095c
5 changed files with 268 additions and 280 deletions

View File

@ -1,4 +1,3 @@
#cs
(module handin-server mzscheme (module handin-server mzscheme
(require (lib "thread.ss") (require (lib "thread.ss")
(lib "port.ss") (lib "port.ss")
@ -7,8 +6,8 @@
(lib "date.ss") (lib "date.ss")
(lib "list.ss") (lib "list.ss")
(lib "string.ss") (lib "string.ss")
"md5.ss" "private/md5.ss"
"lock.ss" "private/lock.ss"
"web-status-server.ss" "web-status-server.ss"
"run-status.ss") "run-status.ss")

View File

@ -1,4 +1,3 @@
(module lock mzscheme (module lock mzscheme
(require (lib "list.ss")) (require (lib "list.ss"))

View File

@ -1,4 +1,3 @@
(module status mzscheme (module status mzscheme
(require (lib "file.ss") (require (lib "file.ss")
(lib "list.ss") (lib "list.ss")
@ -7,7 +6,7 @@
(lib "unitsig.ss") (lib "unitsig.ss")
(lib "servlet-sig.ss" "web-server") (lib "servlet-sig.ss" "web-server")
(lib "response-structs.ss" "web-server") (lib "response-structs.ss" "web-server")
(lib "md5.ss" "handin-server") (lib "md5.ss" "handin-server" "private")
(lib "uri-codec.ss" "net")) (lib "uri-codec.ss" "net"))
(provide status-servlet) (provide status-servlet)
@ -296,4 +295,3 @@
(require status) (require status)
status-servlet status-servlet

View File

@ -1,4 +1,3 @@
(module web-status-server mzscheme (module web-status-server mzscheme
(require (lib "unitsig.ss") (require (lib "unitsig.ss")
(lib "web-server-unit.ss" "web-server") (lib "web-server-unit.ss" "web-server")
@ -58,19 +57,13 @@
(define config@ (define config@
(let ([file (make-temporary-file)]) (let ([file (make-temporary-file)])
(with-output-to-file file (with-output-to-file file (lambda () (write config)) 'truncate)
(lambda () (begin0 (load-configuration file) (delete-file file))))
(write config))
'truncate)
(begin0
(load-configuration file)
(delete-file file))))
(define-values/invoke-unit/sig web-server^ (define-values/invoke-unit/sig web-server^
(compound-unit/sig (compound-unit/sig
(import) (import)
(link (link [T : net:tcp^ ((make-ssl-tcp@
[T : net:tcp^ ((make-ssl-tcp@
"server-cert.pem" "private-key.pem" #f #f "server-cert.pem" "private-key.pem" #f #f
#f #f #f))] #f #f #f))]
[C : web-config^ (config@)] [C : web-config^ (config@)]
@ -81,4 +74,3 @@
(putenv "HANDIN_SERVER_DIR" (path->string (current-directory))) (putenv "HANDIN_SERVER_DIR" (path->string (current-directory)))
(serve))) (serve)))