Changeset 33083 for main/trunk/greenstone3/src/java/org/greenstone/gsdl3/LibraryServlet.java

Timestamp:

2019-05-16T14:37:59+12:00 (5 years ago)

Author:

kjdon

Message:

changed uid to equal session id, instead of incremented integer. As incremented integer doesn't work if you save session state between tomcat restarts.

File:

• main/trunk/greenstone3/src/java/org/greenstone/gsdl3/LibraryServlet.java (modified) (3 diffs)

main/trunk/greenstone3/src/java/org/greenstone/gsdl3/LibraryServlet.java

@@ -92 +92 @@
      */
     protected GSParams params = null;
-
-    /**
-     * user id - new one per session. This doesn't work if session state is
-     * saved between restarts - this requires this value to be saved too.
-     */
-    protected int next_user_id = 0;
 
     /**
@@ -449 +443 @@
         HttpSession session = request.getSession(true);
         session.setMaxInactiveInterval(session_expiration);
-        String uid = (String) session.getAttribute(GSXML.USER_ID_ATT);
-        if (uid == null)
-        {
-            uid = "" + getNextUserId();
-            session.setAttribute(GSXML.USER_ID_ATT, uid);
-        }
+        String uid = session.getId();
 
         request.setCharacterEncoding("UTF-8");
@@ -1159 +1148 @@
     }
 
-    synchronized protected int getNextUserId()
-    {
-        next_user_id++;
-        return next_user_id;
-    }
-
     public void doPost(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException
     {