From df8856720a451837bc93c81e1d86fade13481f87 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Fri, 15 Jun 2007 11:39:53 +0200
Subject: [PATCH] Added a simple grabbing utility for the remote submitter.

---
 bin/mo-grab-remote | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 bin/mo-grab-remote

diff --git a/bin/mo-grab-remote b/bin/mo-grab-remote
new file mode 100755
index 0000000..85a8a0c
--- /dev/null
+++ b/bin/mo-grab-remote
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+[ -n "$1" ] || { echo "Usage: mo-grab-submits <tasks>" ; exit 1 ; }
+[ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
+set -e
+. config
+
+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
+		if [ -d $D ] ; then
+			echo -n " $t"
+			cp -a $D solutions/$user/$t
+		fi
+	done
+	echo
+done
-- 
2.39.2