--- /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)
--- 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();