diff --git a/collects/handin-server/checker.rkt b/collects/handin-server/checker.rkt index 079dc29103..7b41398e59 100644 --- a/collects/handin-server/checker.rkt +++ b/collects/handin-server/checker.rkt @@ -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* diff --git a/collects/handin-server/private/config.rkt b/collects/handin-server/private/config.rkt index d0e44b30dd..74f3a03be0 100644 --- a/collects/handin-server/private/config.rkt +++ b/collects/handin-server/private/config.rkt @@ -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 )] diff --git a/collects/handin-server/scribblings/checker.scrbl b/collects/handin-server/scribblings/checker.scrbl index 250a610970..5615bff470 100644 --- a/collects/handin-server/scribblings/checker.scrbl +++ b/collects/handin-server/scribblings/checker.scrbl @@ -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