pike.git / lib / modules / Filesystem.pmod / Monitor.pmod / basic.pike

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1057:    // Since we have no idea if there's already a queued ID_IGNORED    // pending we just throw away any error here.    mixed err = catch {    instance->rm_watch(wd);    };    if (err) {    MON_WERR("### Failed: %s\n", describe_backtrace(err));    }    }    wd = -1; -  if (!dying) { +  if (!dying && !(flags & MF_AUTO)) {    // We now need to be polled...    MON_WERR("Registering for polling.\n");    monitor_queue->push(this);    }    }    ::unregister_path(dying);    }   }      constant DefaultMonitor = InotifyMonitor;