Changeset 18275

Show
Ignore:
Timestamp:
18.12.2008 19:29:10 (10 years ago)
Author:
cc108
Message:

replace special escape character

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/src/java/org/greenstone/admin/gui/MatExtensionInstallation.java

    r18264 r18275  
    158158            while ((strLine = br.readLine()) != null)   { 
    159159                if(strLine.indexOf("web@xml@path")!=-1){ 
    160                 webPath = webPath.replaceAll("\\\\","/"); 
     160                webPath = webPath.replaceAll("\\\\","@"); 
    161161                strLine = strLine.replaceAll("web@xml@path",webPath); 
    162                 strLine = strLine.replaceAll("/","\\\\"); 
     162                strLine = strLine.replaceAll("@","\\\\"); 
    163163                } 
    164164                message = message+ "\n "+ strLine;