EiffelWebFramework/EWF — pull request #16 by colin-adams (2012-11-24 15:49:01+00:00)
Title: Implementation for automatic HEAD and first pass at HTTP 1.1 conformance contracts

I have implemented requiring HEAD whenever GET is enabled.
Also do_get_head to avoid writing the same code twice.

First pass at adding contracts to help ensure implementations conform to HTTP 1.1. We need more facilities in WSF_RESPONSE to add more complete contracts.

Please review.