Could we use
{WSF_ROUTER}.allowed_methods_for_request (WSF_REQUEST): WSF_REQUEST_METHODS
?




On Thu, Aug 15, 2013 at 9:54 AM, colin-adams <notifications@github.com>wrote:

> In library/server/wsf/router/wsf_skeleton_handler.e:
>
> > +			-- Perform the update requested in `req'.
> > +			-- Write a response to `res' with a code of 204 or 500.
> > +		require
> > +			req_attached: req /= Void
> > +			res_attached: res /= Void
> > +			put_request: req.is_put_request_method
> > +		deferred
> > +		end
> > +
> > +feature -- Execution
> > +
> > +	execute (req: WSF_REQUEST; res: WSF_RESPONSE)
> > +			-- <Precursor>
> > +		do
> > +			check
> > +				known_method: True -- Can't be done until WSF_METHOD_NOT_ALLOWED_RESPONSE
>
> Well at the moment you would need to do something like:
>
> create l_response.make (req)
> l_known_methods := l_response.recognized_methods
> if l_recognized_methods /= Void then
> Result := l_recognized_methods.has (req.request_method)
> end
>
> I'm not sure if that can be neatly done as an assertion.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/EiffelWebFramework/EWF/pull/68/files#r5785072>
> .
>