From 0d98c7537d17fd4b615a92fb20dd76cb4c30f09b Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 23 Mar 2003 22:36:22 +0000
Subject: [PATCH] Added interactive+output mode.

---
 TODO    | 1 +
 bin/lib | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/TODO b/TODO
index 335f6e6..718b066 100644
--- a/TODO
+++ b/TODO
@@ -1,5 +1,6 @@
 Evaluator
 ~~~~~~~~~
+!!! timed-out interactive tasks !!!
 lepsi time limity
 zkopirovat *.ok i kdyz program spadne na run-time error
 konfigurovatelne vstupni a vystupni soubory
diff --git a/bin/lib b/bin/lib
index cb9f910..9adf0dd 100644
--- a/bin/lib
+++ b/bin/lib
@@ -190,6 +190,11 @@ function test-run-file
 	fi
 	cat $TDIR/exec.out
 	rm $TDIR/exec.out
+	test-fetch-output || return 1
+}
+
+function test-fetch-output
+{
 	echo "Output files:"
 	ls -Al $BOXDIR
 	if [ ! -s $BOXDIR/$PROBLEM.out ] ; then
@@ -234,6 +239,7 @@ function test-run-interactive
 	fi
 	cat $TDIR/exec.out
 	rm $TDIR/exec.out
+	[ -z "$OUTPUT_CHECK" ] || test-fetch-output || return 1
 }
 
 # Syntax checks
-- 
2.39.2