- Fixed: Fork: pid could be undefined.

[infobot.git] / src / Shm.pl

diff --git a/src/Shm.pl b/src/Shm.pl
index 53db0ce8cf5049fec5d268b0c2e0491b1bd30d09..0c6c4f6fe5f5bfccf7de9d5f8f6618104a4b5dcd 100644 (file)
--- a/src/Shm.pl
+++ b/src/Shm.pl
@@ -99,6 +99,12 @@ sub addForked {
        &WARN("Fork: looks like we lost '$_', executed $time ago");
 
        my $pid = $forked{$name}{PID};
+       if (!defined $pid) {
+           &WARN("Fork: no pid for $name.");
+           delete $forked{$name};
+           next;
+       }
+
        # don't kill parent!
        if ($pid == $$) {
            &status("Fork: pid == \$\$ ($$)");