Ignore:
Timestamp:
2012-05-08T09:47:51+12:00 (12 years ago)
Author:
sjm84
Message:

A fix for the jsessionid problem

File:
1 edited

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++)
Note: See TracChangeset for help on using the changeset viewer.