X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;ds=sidebyside;f=mop%2Fadmin%2Fmo-grab-remote.sh;h=8754bb377d03bb7989dfbbc60a1069e9e4d30455;hb=51733944f43d682c3c2b82f66c4f253ef9b1a6ea;hp=eff0ec05d9d8dfe671982a21e9cf714eed186b4d;hpb=0f7252ed9159f871f263dbea0b0d9ae2cfb0bec4;p=eval.git

diff --git a/mop/admin/mo-grab-remote.sh b/mop/admin/mo-grab-remote.sh
index eff0ec0..8754bb3 100755
--- a/mop/admin/mo-grab-remote.sh
+++ b/mop/admin/mo-grab-remote.sh
@@ -2,16 +2,17 @@
 # Grab all submits from the submit server and copy them to solutions/.
 
 [ -n "$1" ] || { echo "Usage: mo-grab-remote <tasks>" ; exit 1 ; }
-[ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
+[ -f cf/mop ] || { echo "Missing config file, check cwd." ; exit 1 ; }
 set -e
-. config
+. 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