Fixes #11. Problem: Server not killed after being found.
Solution: Hard termination after receiving found message