tree 64216de50c35148757f24af2bc8d0dee23f11a64
parent 095765f14e86507f687cb6e26aebe5d7fc6e5ca8
author margaretha <margaretha@ids-mannheim.de> 1633095080 +0200
committer margaretha <margaretha@ids-mannheim.de> 1633333447 +0200

Enlarged Jetty request buffer allowing longer URL & enabled Search POST.

Updated Krill.

Change-Id: I22ef9fe89a25612b6b64ae16152b354cecd234ae