Clean up a useless use of cat

diff --git a/src/scripts/nightly/common.sh b/src/scripts/nightly/common.sh
index 752f9fd33bb779b3fe75cb5451dd026cc8b0172d..e3b4a1ef83ddd715f069657a88c5bb98e17e1d6a 100644 (file)
--- 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
 }