src/Pure/General/ssh.scala
changeset 69303 51d8b4dbc61b
parent 69302 5faf57207a9b
child 69393 ed0824ef337e
equal deleted inserted replaced
69302:5faf57207a9b 69303:51d8b4dbc61b
   393       val result = new mutable.ListBuffer[Path]
   393       val result = new mutable.ListBuffer[Path]
   394       def check(path: Path) { if (pred(path)) result += path }
   394       def check(path: Path) { if (pred(path)) result += path }
   395 
   395 
   396       def find(dir: Path)
   396       def find(dir: Path)
   397       {
   397       {
       
   398         if (include_dirs) check(dir)
   398         if (follow_links || !is_link(dir)) {
   399         if (follow_links || !is_link(dir)) {
   399           if (include_dirs) check(dir)
       
   400           for (entry <- read_dir(dir)) {
   400           for (entry <- read_dir(dir)) {
   401             val path = dir + Path.basic(entry.name)
   401             val path = dir + Path.basic(entry.name)
   402             if (entry.is_file) check(path) else find(path)
   402             if (entry.is_file) check(path) else find(path)
   403           }
   403           }
   404         }
   404         }