# HG changeset patch # User casties # Date 1486671424 -3600 # Node ID f83eb8b335b1c3a1b4700334f68618f0032c5e6b # Parent 9140017e89623c3f486f050be52de013ba0d5cef fix problem with anonymous being different. diff -r 9140017e8962 -r f83eb8b335b1 src/main/java/de/mpiwg/itgroup/annotations/Actor.java --- a/src/main/java/de/mpiwg/itgroup/annotations/Actor.java Thu Feb 09 20:46:15 2017 +0100 +++ b/src/main/java/de/mpiwg/itgroup/annotations/Actor.java Thu Feb 09 21:17:04 2017 +0100 @@ -54,7 +54,7 @@ public boolean isEquivalentWith(Person person, AnnotationStore store) { if (person == null) return false; if (person.equals(this)) return true; - if (person.getIdString().equals(this.getIdString())) return true; + if (person.getIdString().equalsIgnoreCase(this.getIdString())) return true; if (isGroup() && store != null) { // check if person in group if (person.groups != null) { @@ -148,6 +148,10 @@ if (uri != null && uri.startsWith(prefix)) { id = uri.replace(prefix, ""); } + if (id == null && uri != null) { + // accept uri without prefix + id = uri; + } return id; } diff -r 9140017e8962 -r f83eb8b335b1 src/main/java/de/mpiwg/itgroup/annotations/Person.java --- a/src/main/java/de/mpiwg/itgroup/annotations/Person.java Thu Feb 09 20:46:15 2017 +0100 +++ b/src/main/java/de/mpiwg/itgroup/annotations/Person.java Thu Feb 09 21:17:04 2017 +0100 @@ -99,7 +99,7 @@ * @return */ public static Person getAnonymous() { - return new Person("anonymous", "Anonymous"); + return new Person("anonymous", null, "Anonymous"); } /* (non-Javadoc)