goobi/goobi-production — pull request #76 by henning-gerhardt (2014-02-04 10:26:43+00:00)
Title: Fix issue #68

Renaming overseen configuration key ContentServerUrl to goobiContentServerUrl.