From e64bfff4f32007979452a04baca813bea31e117c Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 15 Oct 2009 15:59:37 +0000 Subject: [PATCH] comment svn: r16326 --- collects/handin-server/main.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/handin-server/main.ss b/collects/handin-server/main.ss index 1365816a05..8d08230fc1 100644 --- a/collects/handin-server/main.ss +++ b/collects/handin-server/main.ss @@ -94,6 +94,7 @@ (copy-directory/files dir/f f)] [(or (<= (file-or-directory-modify-seconds f) (file-or-directory-modify-seconds dir/f)) + ;; just in case, check the size too: (and (file-exists? f) (file-exists? dir/f) (not (= (file-size f) (file-size dir/f))))) ;; f is newer in dir than in the working directory