diff --git a/judge/manager/play b/judge/manager/play new file mode 100755 index 0000000000000000000000000000000000000000..bebadc307ee77de5bc210f2827338c32743fc54b --- /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