Check on port 9000, not 9001, and use ${PORT} in examples/unfinished/benchmark