# HG changeset patch # User Matthias Förste # 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();