From dabee52bc9c8646af970e229a9dceb984ebf4495 Mon Sep 17 00:00:00 2001 From: Ron Koenderink Date: Tue, 25 Dec 2007 17:26:50 +0000 Subject: [PATCH] Remove quit as it sometimes confuses the client. Known problem with 4.3.11, depend on the EOF. --- src/scripts/nightly/common.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/src/scripts/nightly/common.sh b/src/scripts/nightly/common.sh index 6405dbcc..ee505221 100644 --- a/src/scripts/nightly/common.sh +++ b/src/scripts/nightly/common.sh @@ -29,7 +29,6 @@ runfeed() { [ -n "$REP" ] || REP="$1" { cat - echo "quit" } | ../bin/empire "$1" "$REP" || { warn "empire not ok ?" ; return 1 ; } return 0 }