From b4c5168d1f4c49be87b4d4191f0b8d34661cb2be Mon Sep 17 00:00:00 2001
From: Mark Harrah <dmharrah@gmail.com>
Date: Wed, 20 Jan 2010 18:16:31 -0500
Subject: [PATCH] Fix '/' operator in Paths

---
 util/io/Paths.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/io/Paths.scala b/util/io/Paths.scala
index f7ce8c41a..61b385dd6 100644
--- a/util/io/Paths.scala
+++ b/util/io/Paths.scala
@@ -34,7 +34,7 @@ trait PathBase extends NotNull
 final class Paths(val files: Set[File]) extends PathBase
 {
 	def \(subPath: String) = /(subPath)
-	def /(subPath: String): Set[File] = files.flatMap(FileUtilities.listFiles)
+	def /(subPath: String): Set[File] = files.flatMap { file => val f = file / subPath; if(f.exists) Seq(f)  else Seq() }
 }
 final class Path(val asFile: File) extends PathBase
 {