# HG changeset patch
# User Matthias Förste <foerste@schlittermann.de>
# Date 1425652361 -3600
# Node ID 21cf0d0ca51bead3d8af2aade92ac8b13509c7ca
# Parent  f38791e4991cb87cf52382c518a3591616097eba
[todo]

diff -r f38791e4991c -r 21cf0d0ca51b TODO
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/TODO	Fri Mar 06 15:32:41 2015 +0100
@@ -0,0 +1,4 @@
+* detect (u)mounts over watchpoints because tele-watch will probably still
+  watch the 'old' filesystem (in case something is mounted over the filesystem
+  containing the watchpoint) or none at all (in case the filesystem is
+  umounted)
diff -r f38791e4991c -r 21cf0d0ca51b tele-watch.pl
--- a/tele-watch.pl	Fri Feb 20 15:32:54 2015 +0100
+++ b/tele-watch.pl	Fri Mar 06 15:32:41 2015 +0100
@@ -174,6 +174,7 @@
         defined(my $pid = fork()) or die "Can't fork: $!\n";
         if ($pid) {
             notice "child is $pid";
+            # detect (u)mounts over watchpoints/targets
             exit 0;
         }
         setsid();