# HG changeset patch
# User casties
# Date 1405699667 -7200
# Node ID e973cbf5d58fe027aa33a32b8ebc6063365864ae
# Parent  f2ff7de7b49dea81e05fd838ccf6d2cb9a7242ce
more annotation attributes displayed in AnnotationResource.

diff -r f2ff7de7b49d -r e973cbf5d58f src/main/java/de/mpiwg/itgroup/annotations/restlet/annotations_ui/AnnotationResource.java
--- a/src/main/java/de/mpiwg/itgroup/annotations/restlet/annotations_ui/AnnotationResource.java	Fri Jun 06 19:19:11 2014 +0200
+++ b/src/main/java/de/mpiwg/itgroup/annotations/restlet/annotations_ui/AnnotationResource.java	Fri Jul 18 18:07:47 2014 +0200
@@ -132,6 +132,13 @@
             result += String.format("<tr><td><b>resource</b></td><td>%s</td></tr>\n", annotation.getResourceUri());
             result += String.format("<tr><td><b>creator</b></td><td>%s</td></tr>\n", annotation.getCreatorName());
             result += "</table>\n";
+            result += "<br/>\n";
+            result += "<table>";
+            result += String.format("<tr><td><b>admin permission</b></td><td>%s</td></tr>\n", annotation.getAdminPermission() != null ? annotation.getAdminPermission().getIdString() : "null");
+            result += String.format("<tr><td><b>delete permission</b></td><td>%s</td></tr>\n", annotation.getDeletePermission() != null ? annotation.getDeletePermission().getIdString() : "null");
+            result += String.format("<tr><td><b>update permission</b></td><td>%s</td></tr>\n", annotation.getUpdatePermission() != null ? annotation.getUpdatePermission().getIdString() : "null");
+            result += String.format("<tr><td><b>read permission</b></td><td>%s</td></tr>\n", annotation.getReadPermission() != null ? annotation.getReadPermission().getIdString() : "null");
+            result += "</table>\n";
             //result += "<p><a href=\"?form=edit\">Edit annotation</a></p>\n";
             // tunnel POST as DELETE
             result += String.format(