Merge pull request #330 from georchestra/add-requestheadersize

feat: extend jetty request header size to work around user holding many roles

Author: f-necas

docker/kibana/kibana.yml

@@ -1,5 +1,5 @@
 server.basePath: "/geonetwork/dashboards"
 server.rewriteBasePath: false
-kibana.index: ".dashboards"
+#kibana.index: ".dashboards"
 # https://github.com/elastic/kibana/issues/12918
 server.host: "0.0.0.0"

web/src/docker/Dockerfile

@@ -26,6 +26,7 @@ CMD ["sh", "-c", "exec java \
 -Djava.io.tmpdir=/tmp/jetty \
 -Djava.util.prefs.userRoot=/tmp/userPrefs \
 -Djava.util.prefs.systemRoot=/tmp/systemPrefs \
+-Djetty.httpConfig.requestHeaderSize=65536 \
 -Dgeorchestra.datadir=/etc/georchestra \
 -Dgeonetwork.jeeves.configuration.overrides.file=/etc/georchestra/geonetwork/config/config-overrides-georchestra.xml \
 -Dgeonetwork.dir=/mnt/geonetwork_datadir \