Changeset 25536

Show
Ignore:
Timestamp:
08.05.2012 09:47:51 (7 years ago)
Author:
sjm84
Message:

A fix for the jsessionid problem

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/src/java/org/greenstone/gsdl3/core/URLFilter.java

    r25424 r25536  
    179179            else 
    180180            { 
     181                int index; 
     182                if((index = url.indexOf(";jsessionid")) != -1) 
     183                { 
     184                    url = url.substring(0, index); 
     185                } 
    181186                String[] segments = url.split("/"); 
    182187                for (int i = 0; i < segments.length; i++)