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

change default handin file suffix

Browse Source
This commit is contained in:
Matthew Flatt 2010-08-25 06:04:27 -06:00
parent 59a930f166
commit 967ac7275f
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/handin-server/checker.rkt
View File

@ -379,7 +379,7 @@
#''("Maximum points for this assignment: <+100>"))]
[value-printer* (get ':value-printer #'#f)]
[coverage?* (get ':coverage? #'#f)]
[output* (get ':output #'"hw.scm")]
[output* (get ':output #'"hw.rkt")]
[multi-file* (get ':multi-file #'#f)]
[names-checker* (get ':names-checker #'#f)]
[user-error-message*

2
collects/handin-server/private/config.rkt
View File

@ -74,7 +74,7 @@
[(hook-file) (values #f path/false )]
[(session-timeout) (values 300 id )]
[(session-memory-limit) (values 40000000 id )]
[(default-file-name) (values "handin.scm" id )]
[(default-file-name) (values "handin.rkt" id )]
[(max-upload) (values 500000 id )]
[(max-upload-keep) (values 9 id )]
[(user-regexp) (values #rx"^[a-z][a-z0-9]+$" rx )]

8
collects/handin-server/scribblings/checker.scrbl
View File

@ -127,7 +127,7 @@ Keywords for configuring @scheme[check:]:
@item{@indexed-scheme[:output]---the name of the original handin file
(unrelated to the text-converted files). Defaults to
@filepath{hw.scm}. (The suffix changes the defaults of
@filepath{hw.rkt}. (The suffix changes the defaults of
@scheme[:markup-prefix] and @scheme[:prefix-re].) Can be
@scheme[#f] for removing the original file after processing. The
file is always stored in GRacket's binary format.}
@ -243,9 +243,9 @@ code.}
(require net/sendmail)
(post:
(define info
(format "hw.scm: ~a ~a"
(file-size "hw.scm")
(file-or-directory-modify-seconds "hw.scm")))
(format "hw.rkt: ~a ~a"
(file-size "hw.rkt")
(file-or-directory-modify-seconds "hw.rkt")))
(timeout-control 'disable)
(log-line "Sending a receipt: ~a" info)
(send-mail-message