tele-watch.pl
branchfoerste
changeset 44 21cf0d0ca51b
parent 43 f38791e4991c
child 53 d08f47fd8542
--- 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();