From e2aa7da60d1e5a242ee780cf90ff347434227064 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Sat, 27 Mar 2010 21:14:26 +0100 Subject: [PATCH] mop: mo-grab-remote works over the network --- mop/admin/mo-grab-remote.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mop/admin/mo-grab-remote.sh b/mop/admin/mo-grab-remote.sh index 3f1eb7e..167532e 100755 --- a/mop/admin/mo-grab-remote.sh +++ b/mop/admin/mo-grab-remote.sh @@ -6,12 +6,13 @@ set -e . cf/mop +rsync -a 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 -- 2.39.2