From 4a6f834bc9c33cf1e8d8aeaf9bcdbafc353d3996 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 14 Apr 2015 16:11:05 +0200
Subject: [PATCH] Fix FilesWatcher when cd != input directory
---
src/main/scala/leon/utils/FilesWatcher.scala | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/utils/FilesWatcher.scala b/src/main/scala/leon/utils/FilesWatcher.scala
index 7a25c7ee9..f42127b25 100644
--- a/src/main/scala/leon/utils/FilesWatcher.scala
+++ b/src/main/scala/leon/utils/FilesWatcher.scala
@@ -26,8 +26,9 @@ case class FilesWatcher(ctx: LeonContext, files: Seq[File]) {
val events = key.pollEvents()
- if (events.exists{_.context match {
- case (p: Path) => toWatch(p.toFile.getAbsoluteFile)
+ if (events.exists{ _.context match {
+ case (p: Path) =>
+ dirs exists { dir => toWatch(new File(dir, p.toFile.getName))}
case e => false
}}) {
val currentHashes = toWatch.map(md5file)
--
GitLab