|
From: | Andy Bennett |
Subject: | Re: [Chicken-users] bug update-uri in uri-common |
Date: | Sun, 08 Jun 2014 13:30:27 +0100 |
User-agent: | Trojita/0.4.1; Qt/4.8.2; X11; Linux; Debian GNU/Linux 7.4 (wheezy) |
Hi,
So here's a new poll: a) The current behaviour of resetting port to #f if it's the default port for this scheme is ok. b) The port should not be reset, and the uri should be printed with an explicit port, even if it's the default for this scheme. c) The port should not be reset, but the uri should be printed without port if it's the default for this scheme. Once results are in, I'll adjust the behaviour accordingly, and make a new uri-common release.
My vote is for (b) with the caveat that the port should not be printed if it is #f.
Regards, @ndy -- address@hidden http://www.ashurst.eu.org/ 0x7EBA75FF
[Prev in Thread] | Current Thread | [Next in Thread] |