73
84
path = path.replaceAll("[Hh][Tt][Tt][Pp][Ss]://","__https__//");
74
85
String[] ret = path.split(Env.getSeparator());
75
86
for(int i=0;i<ret.length;i++){
77
89
ret[i] = ret[i].replaceAll("__http__//", "http://");
79
93
ret[i] = ret[i].replaceAll("__https__//", "https://");