suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

more minor stuff

Browse Source 
svn: r17417
This commit is contained in:
Eli Barzilay 2009-12-28 19:23:33 +00:00
parent 0dbbb5d73d
commit 98c2e2d3a6
1 changed files with 11 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/handin-server/main.ss
View File

@ -170,9 +170,10 @@
(set! len (read r-safe)) (set! len (read r-safe))
(unless (and (number? len) (integer? len) (positive? len)) (unless (and (number? len) (integer? len) (positive? len))
(error* "bad length: ~s" len)) (error* "bad length: ~s" len))
(unless (len . < . (get-conf 'max-upload)) (let ([max (get-conf 'max-upload)])
(error* "max handin file size is ~s bytes, file to handin is too big (~s bytes)" (unless (len . < . max)
(get-conf 'max-upload) len)) (error* "max handin file size is ~s bytes, ~a (~s bytes)"
max "file to handin is too big" len)))
(parameterize ([current-directory (assignment<->dir assignment)]) (parameterize ([current-directory (assignment<->dir assignment)])
(wait-for-lock dirname (wait-for-lock dirname
(let ([dir (build-path (current-directory) dirname)]) (let ([dir (build-path (current-directory) dirname)])
@ -671,16 +672,14 @@
[(eq? protocol 'ver1) [(eq? protocol 'ver1)
(write+flush w 'ver1)] (write+flush w 'ver1)]
[(eq? protocol 'GET) [(eq? protocol 'GET)
(error 'handin "request via the GET protocol: maybe you are using the server-port instead of the https-server-port to connect to the https server? ~a" (error 'handin "got a GET request: maybe you are using the server-port instead of the https-server-port to connect to the https server? ~a"
(let ([port (get-conf 'https-port-number)]) (let ([port (get-conf 'https-port-number)])
(if port (if port
(let-values ([(us them) (ssl-addresses r)]) (let-values ([(us them) (ssl-addresses r)])
(format "Try this url: https://~a:~a/" (format "Try this url: https://~a:~a/"
us us port))
port))
(format "There is no https-port-number set in config.ss; try setting that first."))))] (format "There is no https-port-number set in config.ss; try setting that first."))))]
[else [else (error 'handin "unknown protocol: ~e" protocol)]))
(error 'handin "unknown protocol: ~s" protocol)]))
(handle-connection r r-safe w) (handle-connection r r-safe w)
(log-line "normal exit") (log-line "normal exit")
(kill-watcher) (kill-watcher)