From 79ab6ad9eef514e73607aab3b1c780618d93d62c Mon Sep 17 00:00:00 2001 From: Mark Harrah Date: Fri, 10 Jun 2011 07:48:53 -0400 Subject: [PATCH] fix type of Path.userHome to be File, not RichFile --- util/io/Path.scala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/util/io/Path.scala b/util/io/Path.scala index 11d708f83..6634ac1e1 100644 --- a/util/io/Path.scala +++ b/util/io/Path.scala @@ -63,10 +63,10 @@ object Path extends PathExtra { def apply(f: File): RichFile = new RichFile(f) def apply(f: String): RichFile = new RichFile(new File(f)) - def fileProperty(name: String) = Path(System.getProperty(name)) - def userHome = fileProperty("user.home") + def fileProperty(name: String): File = new File(System.getProperty(name)) + def userHome: File = fileProperty("user.home") - def absolute(file: File) = new File(file.toURI.normalize).getAbsoluteFile + def absolute(file: File): File = new File(file.toURI.normalize).getAbsoluteFile def makeString(paths: Seq[File]): String = makeString(paths, pathSeparator) def makeString(paths: Seq[File], sep: String): String = paths.map(_.getAbsolutePath).mkString(sep) def newerThan(a: File, b: File): Boolean = a.exists && (!b.exists || a.lastModified > b.lastModified)