[PATCH] Minor fix for ServerInfoService

[Wald Commits]

# HG changeset patch
# User Christian Lins <christian.lins at intevation.de>
# Date 1372337464 -7200
# Node ID d30ae7275e5af1dc76052c0197b03282dca37697
# Parent  b0b0ba6e7bb01e5b2cb6d6832ff8013179ccbf74
Minor fix for ServerInfoService.
It's now possible for the gwt-client to retrieve the "help-url" configuration value from the server.

diff -r b0b0ba6e7bb0 -r d30ae7275e5a artifacts/src/main/java/org/dive4elements/river/artifacts/services/ServerInfoService.java
--- a/artifacts/src/main/java/org/dive4elements/river/artifacts/services/ServerInfoService.java	Thu Jun 27 14:48:21 2013 +0200
+++ b/artifacts/src/main/java/org/dive4elements/river/artifacts/services/ServerInfoService.java	Thu Jun 27 14:51:04 2013 +0200
@@ -47,6 +47,7 @@
         Element info = ec.create("info");
         ec.addAttr(info, "key", "help-url", true);
         ec.addAttr(info, "value", helpUrl, true);
+        serverInfo.appendChild(info);
 
         result.appendChild(serverInfo);