From 688b08408fb467a003b84301222be0189ee98c22 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 20 Sep 2010 09:27:48 -0400 Subject: [PATCH] Magic string still has ".ss" in it. --- collects/handin-server/main.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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