Changeset 18161

Show
Ignore:
Timestamp:
09.12.2008 13:14:20 (11 years ago)
Author:
cc108
Message:

change the snytax of regular expression

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • other-projects/trunk/greenstone3-extension/mat/src/org/greenstone/gsdl3_extension/mat/servlet/MatServlet.java

    r18152 r18161  
    457457    String os = "linux"; 
    458458    if(System.getProperty("os.name").toLowerCase().indexOf("windows")!=-1){ 
    459         gsdl3Home = gsdl3Home.replaceAll("\\", "/"); 
     459        gsdl3Home = gsdl3Home.replaceAll("\\\\", "/"); 
    460460        os = "windows"; 
    461461    } 
     
    463463     
    464464    if(os.equals("windows")){ 
    465         gsdl3Root = gsdl3Root.replaceAll("/","\\"); 
    466         gsdl3Home = gsdl3Home.replaceAll("/", "\\"); 
     465        gsdl3Root = gsdl3Root.replaceAll("/","\\\\"); 
     466        gsdl3Home = gsdl3Home.replaceAll("/", "\\\\"); 
    467467    } 
    468468 
     
    529529    String os = "linux"; 
    530530    if(System.getProperty("os.name").toLowerCase().indexOf("windows")!=-1){ 
    531         gsdl3Home = gsdl3Home.replaceAll("\\", "/"); 
     531        gsdl3Home = gsdl3Home.replaceAll("\\\\", "/"); 
    532532        os = "windows"; 
    533533    } 
     
    535535     
    536536    if(os.equals("windows")){ 
    537         gsdl3Root = gsdl3Root.replaceAll("/","\\"); 
    538         gsdl3Home = gsdl3Home.replaceAll("/", "\\"); 
     537        gsdl3Root = gsdl3Root.replaceAll("/","\\\\"); 
     538        gsdl3Home = gsdl3Home.replaceAll("/", "\\\\"); 
    539539    } 
    540540    String maxRecords = Records; 
     
    853853    String os = "linux"; 
    854854    if(System.getProperty("os.name").toLowerCase().indexOf("windows")!=-1){ 
    855         gsdl3Home = gsdl3Home.replaceAll("\\", "/"); 
     855        gsdl3Home = gsdl3Home.replaceAll("\\\\", "/"); 
    856856        os = "windows"; 
    857857    } 
     
    859859     
    860860    if(os.equals("windows")){ 
    861         gsdl3Root = gsdl3Root.replaceAll("/","\\"); 
    862         gsdl3Home = gsdl3Home.replaceAll("/", "\\"); 
     861        gsdl3Root = gsdl3Root.replaceAll("/","\\\\"); 
     862        gsdl3Home = gsdl3Home.replaceAll("/", "\\\\"); 
    863863    } 
    864864