# HG changeset patch
# User Tom Gottfried <tom@intevation.de>
# Date 1498753520 -7200
# Node ID 98a3cf8109164c207ceb439c80f5e3aaf69ad93c
# Parent  2c8259176c461dcf251d1143de64ccb1fd447524
Fix client build.

Shame on me for having not clean build before commit 2c8259176c46.

diff -r 2c8259176c46 -r 98a3cf810916 gwt-client/src/main/java/org/dive4elements/river/client/server/SamlServlet.java
--- a/gwt-client/src/main/java/org/dive4elements/river/client/server/SamlServlet.java	Wed Jun 28 20:09:53 2017 +0200
+++ b/gwt-client/src/main/java/org/dive4elements/river/client/server/SamlServlet.java	Thu Jun 29 18:25:20 2017 +0200
@@ -72,8 +72,10 @@
         try {
             String keyfile =
                 (String)sc.getInitParameter("saml-trusted-public-key");
+            int timeEps = Integer.parseInt(
+                sc.getInitParameter("saml-time-tolerance"));
             TicketValidator validator =
-                new TicketValidator(sc.getRealPath(keyfile));
+                new TicketValidator(sc.getRealPath(keyfile), timeEps);
 
             InputStream in = new StringBufferInputStream(samlTicketXML);
             assertion = validator.checkTicket(new Base64InputStream(in));