Searched refs:stripDirectory (Results 1 – 14 of 14) sorted by relevance
1120 $directory = "/" . stripDirectory($directory);1123 $directory = stripDirectory($directory);1143 $directory = "/" . stripDirectory($newdirectory);
871 $parentdir = stripDirectory($parentdir);872 $childdir = stripDirectory($childdir);
2001 $filename = stripDirectory(glueDirectories($zipdir, $list["files"][$i]["dirfilename"]));2600 $directory = stripDirectory($directory);2631 function stripDirectory($directory) { function2689 if (substr($part1, 0, 2) == "\\\\") { $part1 = "\\\\" . stripDirectory($part1); }2690 else { $part1 = stripDirectory($part1); }2691 if (substr($part2, 0, 2) == "\\\\") { $part2 = "\\\\" . stripDirectory($part2); }2692 else { $part2 = stripDirectory($part2); }
86 $directory2 = stripDirectory($directory1);
353 $directory_exploded = explode("/", stripDirectory($directory));
789 [ stripDirectory (normalise dir) filepath | dir <- dirs ]791 stripDirectory :: FilePath -> FilePath -> Maybe FilePath792 stripDirectory dir fp =
790 [ stripDirectory (normalise dir) filepath | dir <- dirs ]792 stripDirectory :: FilePath -> FilePath -> Maybe FilePath793 stripDirectory dir fp =
791 [ stripDirectory (normalise dir) filepath | dir <- dirs ]793 stripDirectory :: FilePath -> FilePath -> Maybe FilePath794 stripDirectory dir fp =
223 name = Utils.stripDirectory(primaryResource)
2153 , file <- maybeToList (stripDirectory dir) ]2155 stripDirectory :: FilePath -> Maybe FilePath2156 stripDirectory dir =
2177 , file <- maybeToList (stripDirectory dir) ]2179 stripDirectory :: FilePath -> Maybe FilePath2180 stripDirectory dir =
1864 def stripDirectory(path: String): String = { method