# HG changeset patch # User casties # Date 1467145164 14400 # Node ID 20c76ff72cf25c19679253289d5a8717a9f9e8f3 # Parent 985dcecba90441b52e2e762d17bd6e2c9324fe6b enable imageserver menu for admins. diff -r 985dcecba904 -r 20c76ff72cf2 src/main/java/de/mpiwg/itgroup/ismi/browse/AbstractEntityRepositoryBean.java --- a/src/main/java/de/mpiwg/itgroup/ismi/browse/AbstractEntityRepositoryBean.java Tue Jun 28 16:18:49 2016 -0400 +++ b/src/main/java/de/mpiwg/itgroup/ismi/browse/AbstractEntityRepositoryBean.java Tue Jun 28 16:19:24 2016 -0400 @@ -311,7 +311,7 @@ objectClass.equals(PERSON) || objectClass.equals(CODEX) || objectClass.equals(WITNESS) || - objectClass.equals(PLACE))){ + objectClass.equals(PLACE))) { return true; } return false; diff -r 985dcecba904 -r 20c76ff72cf2 src/main/webapp/templates/main_template.xhtml --- a/src/main/webapp/templates/main_template.xhtml Tue Jun 28 16:18:49 2016 -0400 +++ b/src/main/webapp/templates/main_template.xhtml Tue Jun 28 16:19:24 2016 -0400 @@ -176,10 +176,9 @@ Biographies - + Dynamic Page Editor