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 167532efb39f1e542ead28a7b2d480d1bfd8e1cf..8754bb377d03bb7989dfbbc60a1069e9e4d30455 100755 (executable)
--- 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