diff --git a/test.sh b/test.sh index dfb7ef454..027564981 100644 --- a/test.sh +++ b/test.sh @@ -7,3 +7,12 @@ FILES="hermit/usr/tests/hello hermit/usr/tests/hellof hermit/usr/tests/hello++ h PROXY=hermit/tools/proxy for f in $FILES; do echo "check $f..."; $PROXY $f || exit 1; done + +# test echo server at port 8000 +$PROXY hermit/usr/tests/server & +sleep 10 +curl http://127.0.0.1:8000/help +sleep 1 + +# kill server +kill $!