example.py: specify port 4000 explicitly

csernazs · csernazs · commit 184f376b7041 · 2019-03-09T10:16:02.000+01:00
As port is now default to 0, the quick and dirty fix
for the example was to specify the port explicitly.
diff --git a/example.py b/example.py
@@ -10,7 +10,7 @@ def foobar(request):
     return "Hello world!"
 
 
-server = HTTPServer()
+server = HTTPServer(port=4000)
 server.expect_request("/foobar").respond_with_json({"foo": "bar"})
 server.start()
 try:
