From: Martin Mares <mj@ucw.cz>
Date: Fri, 30 Mar 2012 18:49:36 +0000 (+0200)
Subject: mo-grab-remote: use rsync --delete
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=5df5788fafde940018efa2301c85085fdee43028;p=eval.git

mo-grab-remote: use rsync --delete

Otherwise, when a contestants submits another solution of the
same task in a different language, eval is confused.
---

diff --git a/mop/admin/mo-grab-remote.sh b/mop/admin/mo-grab-remote.sh
index 167532e..8754bb3 100755
--- a/mop/admin/mo-grab-remote.sh
+++ b/mop/admin/mo-grab-remote.sh
@@ -6,7 +6,7 @@
 set -e
 . cf/mop
 
-rsync -a mo-submit@mo100:solutions/ submits
+rsync -a --delete mo-submit@mo100:solutions/ submits
 for user in `bin/mo-get-users` ; do
 	echo -n "$user:"
 	mkdir -p solutions/$user