Script to playback and save videos of games

Used in Preliminary Round to show stuff on the projector.
Needs to be re-run when it finishes.

diff --git a/judge/manager/play b/judge/manager/play
new file mode 100755 (executable)
index 0000000..bebadc3
--- /dev/null
+++ b/judge/manager/play
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+
+
+wget -r -c -np -nd -A "*.vs.*" -R "*.stderr" http://progcomp.ucc.asn.au/log/
+
+for i in *.vs.*; do
+       if ! [ -e $i.mp4 ]
+       then
+               ./stratego -v $i.mp4 -f $i -g  
+       fi
+done