Return NotFound response for "/favicon.ico" request instead of returning wrong plain text response.

examples/websocket/application_execution.e

@@ -26,8 +26,12 @@ feature -- Basic operations
  		do
  			-- To send a response we need to setup, the status code and
  			-- the response headers.
+			if request.path_info.same_string_general ("/favicon.ico") then
+				response.put_header ({HTTP_STATUS_CODE}.not_found, <<["Content-Length", "0"]>>)
+			else
 				if request.path_info.same_string_general ("/app") then
 					s := websocket_app_html (request.server_name, request.server_port)
+
 				else
 		 			s := "Hello World!"
 					create dt.make_now_utc
@@ -43,6 +47,7 @@ feature -- Basic operations
 				end
 				response.put_string (s)
 			end
+		end
 
 feature -- Websocket execution