# HG changeset patch
# User robcast
# Date 1462385095 -7200
# Node ID 2bee7503ff87161388d5dcace8a309103d2c6b33
# Parent  feebfabae0164a08ec63726676139304d19e5a9f
fix bug with auth token in cookie.

diff -r feebfabae016 -r 2bee7503ff87 servlet/src/main/java/digilib/auth/OpenIdAuthnOps.java
--- a/servlet/src/main/java/digilib/auth/OpenIdAuthnOps.java	Wed May 04 16:33:18 2016 +0200
+++ b/servlet/src/main/java/digilib/auth/OpenIdAuthnOps.java	Wed May 04 20:04:55 2016 +0200
@@ -200,7 +200,7 @@
             Cookie[] cookies = srvReq.getCookies();
             if (cookies != null) {
                 for (Cookie c : cookies) {
-                    if (c.getName() == tokenCookieName) {
+                    if (c.getName().equals(tokenCookieName)) {
                         id_token = c.getValue();
                         break;
                     }