# HG changeset patch # User Tom Gottfried # Date 1393956855 -3600 # Node ID be4b378390158938345b43a8998192d0f28de0b0 # Parent 9cce1b34e47b58da3d90e63b65e3e41a0baf78a4 INSTALL_DE: remove obsolete server configuration. diff -r 9cce1b34e47b -r be4b37839015 doc/INSTALL_DE --- a/doc/INSTALL_DE Tue Mar 04 19:08:02 2014 +0100 +++ b/doc/INSTALL_DE Tue Mar 04 19:14:15 2014 +0100 @@ -132,54 +132,8 @@ ${artifacts.config.dir}/../dgm/ #. Einstellen der WMS Urls - # Anstatt mennippe:8081 den korrekten Host eintragen! - $ vi rivermap.xml - # Den Inhalt durch folgendes ersetzen - - - - - - - - - - - - - - - - - - - - - - - $ vi floodmap.xml - # Den Inhalt durch folgendes ersetzen - - - - - - - - - - - - - - - - - - - - - + # Anstatt yourhost:8081 in rivermap.xml und floodmap.xml den korrekten + # Host eintragen auf dem der MapServer läuft Konfigurieren des Logging