diff options
Diffstat (limited to 'tests/server/test_ende_with_empty_lines.sh')
-rw-r--r-- | tests/server/test_ende_with_empty_lines.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/tests/server/test_ende_with_empty_lines.sh b/tests/server/test_ende_with_empty_lines.sh new file mode 100644 index 0000000..7ac5b59 --- /dev/null +++ b/tests/server/test_ende_with_empty_lines.sh @@ -0,0 +1,25 @@ +#!/bin/bash + +# Exit on error +set -e + +clean_up() { + kill $SERVER_PID +} +trap clean_up EXIT + +# Test code goes here +$MRT_MARIAN/marian-server -c $MRT_MODELS/wmt16_systems/marian.en-de.yml -p 8765 > server.log 2>&1 & +SERVER_PID=$! + +sleep 20 + +python3 $MRT_MARIAN/../scripts/server/client_example.py -p 8765 < text.someempty.in > text.someempty.out +kill $SERVER_PID + +$MRT_TOOLS/diff.sh text.someempty.out text.someempty.expected > text.someempty.diff +test -e server.log +grep -q "listening on port 8765" server.log + +# Exit with success code +exit 0 |