[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-users] bug update-uri in uri-common

From: Peter Bex
Subject: Re: [Chicken-users] bug update-uri in uri-common
Date: Tue, 13 May 2014 23:28:14 +0200
User-agent: Mutt/

On Tue, May 13, 2014 at 11:25:23PM +0200, Kristian Lein-Mathisen wrote:
> Hmmm ... The scheme is changed, like you say, but the port is too, from 100
> to #f, which is what I find surprising.
> I cannot seem to find a way to update the uri without loosing the port.
> What am doing wrong here?

Try updating it simultaneously.  This should work:

(update-uri foo scheme: 'http port: 100)

The idea is that you'd rarely want to switch to an entirely different
protocol on the same port anyway, so the sane thing to do is reset it to
the default.

If this doesn't work either, it would be a bug.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]