Changeset 6301 for trunk/gsdl3/src/java/org/greenstone/gsdl3/LibraryServlet.java

Timestamp:

2003-12-18T09:27:11+13:00 (20 years ago)

Author:

kjdon

Message:

servlet now saves a uid with the session - this is passed around as an attribute in a request, to be used by whoever needs it

File:

• trunk/gsdl3/src/java/org/greenstone/gsdl3/LibraryServlet.java (modified) (6 diffs)

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

@@ -42 +42 @@
     //protected GSCGI cgi = null;
     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;
+
+    
     /** initialise the servlet
      */
@@ -47 +52 @@
     // always call super.init;
     super.init(config);
-
     // disable preferences - does this work anyway??
     //System.setProperty("java.util.prefs.PreferencesFactory", "org.greenstone.gsdl3.util.DisabledPreferencesFactory");
@@ -139 +143 @@
     
     HttpSession session = request.getSession(true);
-
+    String uid = (String)session.getAttribute(GSXML.USER_ID_ATT);
+    if (uid ==null) {
+        uid = ""+getNextUserId();
+        session.setAttribute(GSXML.USER_ID_ATT, uid);
+    }
     request.setCharacterEncoding("UTF-8");
     response.setContentType("text/html;charset=UTF-8");
@@ -164 +172 @@
     // the request to the receptionist  
     Element xml_message = this.doc.createElement(GSXML.MESSAGE_ELEM);
-    Element xml_request = GSXML.createBasicRequest(this.doc, GSXML.REQUEST_TYPE_PAGE, "", lang);
+    Element xml_request = GSXML.createBasicRequest(this.doc, GSXML.REQUEST_TYPE_PAGE, "", lang, uid);
     xml_request.setAttribute(GSXML.OUTPUT_ATT, output);
     xml_message.appendChild(xml_request);
@@ -220 +228 @@
         String name = (String)params.nextElement();
         
-        if ( !name.equals(GSParams.LANGUAGE) ) { // lang is stored but we dont want it in the param list cos its already in the request
+        if ( !name.equals(GSParams.LANGUAGE) && !name.equals(GSXML.USER_ID_ATT)) { // lang and uid are stored but we dont want it in the param list cos its already in the request
             
             Element param = this.doc.createElement(GSXML.PARAM_ELEM);
@@ -266 +274 @@
     
     }
+
+    synchronized protected int getNextUserId() {
+    next_user_id++;
+    return next_user_id;
+    }
+
 }