On Tue, Jul 26, 2005 at 11:32:00PM +0200, Daniel Stenberg wrote:
> On Wed, 20 Jul 2005, Eric Cooper wrote:
> >The man page says that setting CURLOPT_NOBODY to 0 has no effect, but that
> >doesn't seem to be true. If I've used NOBODY to do a HEAD, and then want
> >to do a GET, I have to both set HTTPGET to 1 and NOBODY to 0. If I omit
> >either one, curl does another HEAD instead of a GET.
> [...]
> But would you (in a broader sense, meaning anyone reading this) say the
> proper fix is to document this behaviour or to make CURLOPT_HTTPGET set to
> 1 disable the NOBODY setting?

I think it would make the most sense for the HTTPGET, HTTPPOST, and
NOBODY options to behave like "radio buttons" -- setting any one
should disable the others.

-- 
Eric Cooper             e c c @ c m u . e d u