Fix HTTP server example when closing listening socket fails.

Currently the example ignores the failure and tries to re-open the
listening socket, running into an infinite loop. This is not meaningful,
if we cannot close the listening socket we better stop since we will
never be able to re-bind onto the server port anymore.

Signed-off-by: Hugo Lefeuvre <[email protected]>

examples/05.HTTP_SERVER/http_server.cc

@@ -196,6 +196,11 @@ void __cheri_compartment("http_server_example") example()
 		if (retries == 0)
 		{
 			Debug::log("Failed to close the listening socket.");
+
+			// We have to stop now - if we cannot close the
+			// listening socket, we will not be able to bind onto
+			// the server port anymore. This is bad!
+			break;
 		}
 	}