Merge branch 'container'

[eval.git] / mop / admin / mo-grab-remote.sh

diff --git a/mop/admin/mo-grab-remote.sh b/mop/admin/mo-grab-remote.sh
index 3f1eb7e31d17482ffaf44f8e574c24886937585c..8754bb377d03bb7989dfbbc60a1069e9e4d30455 100755 (executable)
--- a/mop/admin/mo-grab-remote.sh
+++ b/mop/admin/mo-grab-remote.sh
@@ -6,12 +6,13 @@
 set -e
 . cf/mop
 
+rsync -a --delete mo-submit@mo100:solutions/ submits
 for user in `bin/mo-get-users` ; do
        echo -n "$user:"
        mkdir -p solutions/$user
        for t in $@ ; do
                rm -rf solutions/$user/$t
-               D=$MO_ROOT/eval/submit/solutions/$user/$t
+               D=submits/$user/$t
                if [ -d $D ] ; then
                        echo -n " $t"
                        cp -a $D solutions/$user/$t