Re: bug in tracker

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