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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:283:    //!    //! @param initial    //! Indicates that the @[Monitor] is newly created.    protected void register_path(int|void initial)    {    if (initial) {    // We need to be polled...    MON_WERR("Registering %O for polling.\n", path);    mixed key = monitor_mutex->lock();    monitor_queue->push(this); +  if (monitor_queue->peek() == this) { +  if (co_id) { +  reschedule_backend_check();    }    } -  +  } +  }       //! Unregister the @[Monitor] from the monitoring system.    //!    //! @param dying    //! Indicates that the @[Monitor] is being destructed.    //! It is the destruction cause value offset by one.    protected void unregister_path(int|void dying)    {    if (dying == 1) {    // We are going away permanently due to explicit destruct(),