1 files changed, 0 insertions, 6 deletions
diff --git a/runner.sh b/runner.sh
index e651c5d..8479159 100755
--- a/runner.sh
+++ b/runner.sh
@@ -71,12 +71,6 @@ function fail() {
 	exit 1
 }
 
-function stdin_redirector(){
-	while [ -p stdin ]; do
-		cat stdin
-	done
-}
-
 [ -e settings.sh ] && source settings.sh \
 	|| >&2 echo "WARNING: settings.sh not found."
 # settings.sh