From c77db95fad1e36c13ed3a2996b723831d4870d0a Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Sat, 15 Jan 2011 13:46:43 +0100
Subject: [PATCH] Clean up a useless use of cat

---
 src/scripts/nightly/common.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/scripts/nightly/common.sh b/src/scripts/nightly/common.sh
index 752f9fd33..e3b4a1ef8 100644
--- a/src/scripts/nightly/common.sh
+++ b/src/scripts/nightly/common.sh
@@ -27,8 +27,6 @@ runfeed() {
 	[ -n "$1" ] || { warn "INTERNAL ERROR: No coun/repr given ?" ; return 2 ; }
 	REP="$2"
 	[ -n "$REP" ] || REP="$1"
-	{
-		cat
-	} | ${EMPIRE_PATH}/empire "$1" "$REP" || { warn "empire not ok ?" ; return 1 ; }
+	${EMPIRE_PATH}/empire "$1" "$REP" || { warn "empire not ok ?" ; return 1 ; }
 	return 0
 }
-- 
2.43.0