On Jul 13, 2008, at 04:07, Peter B. West wrote:
Andreas Delmelle wrote:
URL and URI are both used here. But I think URL is the
mandatory term
here. The other thing is URI Syntax which does not refer to URI
itself. Since a URL is a URI, but not all URIs are URLs, I
believe your
example
On Jul 12, 2008, at 14:19, [EMAIL PROTECTED] wrote:
Author: jeremias
Date: Sat Jul 12 05:19:40 2008
New Revision: 676161
URL: http://svn.apache.org/viewvc?rev=676161view=rev
Log:
Attempt to fix a potential build problem.
FWIW, I've locally replaced all occurrences of File.toURL() in the
On 12.07.2008 14:49:03 Andreas Delmelle wrote:
On Jul 12, 2008, at 14:19, [EMAIL PROTECTED] wrote:
Author: jeremias
Date: Sat Jul 12 05:19:40 2008
New Revision: 676161
URL: http://svn.apache.org/viewvc?rev=676161view=rev
Log:
Attempt to fix a potential build problem.
FWIW, I've
Jeremias Maerki wrote:
On 12.07.2008 14:49:03 Andreas Delmelle wrote:
On Jul 12, 2008, at 14:19, [EMAIL PROTECTED] wrote:
Author: jeremias
Date: Sat Jul 12 05:19:40 2008
New Revision: 676161
URL: http://svn.apache.org/viewvc?rev=676161view=rev
Log:
Attempt to fix a potential build problem.
On Jul 12, 2008, at 14:57, Jeremias Maerki wrote:
On 12.07.2008 14:49:03 Andreas Delmelle wrote:
Going through the occurrences, I'm getting the impression that in
some cases, we don't even really need the URL. The URI would do just
fine if we don't need the functionality for opening a