diff --git a/collects/handin-server/main.rkt b/collects/handin-server/main.rkt index a5a77b2992..6b02469325 100644 --- a/collects/handin-server/main.rkt +++ b/collects/handin-server/main.rkt @@ -282,7 +282,7 @@ (parameterize ([current-directory submission-dir]) (define magics '(#"WXME" #"<<>>" - #"#reader(lib\"read.rkt\"\"wxme\")WXME")) + #"#reader(lib\"read.(?:rkt|ss)\"\"wxme\")WXME")) (define mlen (apply max (map bytes-length magics))) (define file ;; find the newest wxme file