comment

svn: r16326
2009-10-15 15:59:37 +00:00 · 2009-10-15 15:59:37 +00:00 · e64bfff4f3
commit e64bfff4f3
parent e1d2fdb3d6
1 changed files with 1 additions and 0 deletions
--- 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