W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2007

Re: bug in tracker

From: Dominique Hazael-Massieux <dom@w3.org>
Date: Fri, 30 Nov 2007 12:47:39 +0100
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: w3t-sys@w3.org, public-owl-wg@w3.org
Message-Id: <1196423259.21329.31.camel@altostratustier>

Hi,

Le jeudi 15 novembre 2007 à 04:24 -0500, Peter F. Patel-Schneider a
écrit :
> I believe that there is a bug in tracker, having to do with termination
> of IRIs.
> 
> To see the problem, look at Issue 8 in the OWL WG tracker, at
> http://www.w3.org/2007/OWL/tracker/
> 
> In the note at the bottom, I entered an IRI in <http://foo.bar>
> expecting the IRI to be http://foo.bar, but the IRI came out to be
> http://foo.bar>
> 
> My understanding is that > is not a legal character in IRIs and thus
> should not be included in the IRI.

Indeed, this is fixed.

> The same thing happens for ", which I believe is also not legal.

Fixed as well, see:
http://www.w3.org/2007/OWL/tracker/issues/8


> PS: Another annoyance in tracker (but not, actually, a bug) is that
> after editing an issue the resulting page does not have a button for
> re-editing.  Instead you have to go and redisplay the issue somehow.

Fixed as well.

> PPS: Yet another annoyance is that notes are not editable.

This hasn't been changed yet.

Dom
Received on Friday, 30 November 2007 11:47:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:27 GMT