# HG changeset patch
# User Felix Wolfsteller <felix.wolfsteller@intevation.de>
# Date 1379929211 -7200
# Node ID 11106b14daf2bb469bb6a67ca506ea5661934296
# Parent  ed1865dc405e10dfd6973913525a682732e2d69f
Full stop at doc sentence end.

diff -r ed1865dc405e -r 11106b14daf2 gwt-client/src/main/java/org/dive4elements/river/client/server/RemoteServiceServlet.java
--- a/gwt-client/src/main/java/org/dive4elements/river/client/server/RemoteServiceServlet.java	Wed Sep 25 11:57:38 2013 +0200
+++ b/gwt-client/src/main/java/org/dive4elements/river/client/server/RemoteServiceServlet.java	Mon Sep 23 11:40:11 2013 +0200
@@ -16,7 +16,7 @@
 extends      com.google.gwt.user.server.rpc.RemoteServiceServlet
 {
     /**
-     * Return the current logged in user from the HTTP Session
+     * Return the current logged in user from the HTTP Session.
      */
     public User getUser() {
         HttpSession session = this.getThreadLocalRequest().getSession();