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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1037:    // 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 && !(flags & MF_AUTO)) { -  // We now need to be polled... -  MON_WERR("Registering for polling.\n"); -  mixed key = monitor_mutex->lock(); -  monitor_queue->push(this); -  key = UNDEFINED; +     } -  } +     ::unregister_path(dying);    }   }      constant DefaultMonitor = InotifyMonitor;      #else      constant DefaultMonitor = Monitor;