HTTPD server in Eiffel