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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:874:   {    m->update(st);   }      //! Release a single @[Monitor] from monitoring.   //!   //! @seealso   //! @[release()]   protected void release_monitor(Monitor m)   { -  m->next_poll = -1000; -  adjust_monitor(m); -  while (monitor_queue->peek() < 0) -  monitor_queue->pop(); +  monitor_queue->remove(m);   }      //! Update the position in the @[monitor_queue] for the monitor @[m]   //! to account for an updated next_poll value.   protected void adjust_monitor(Monitor m)   {    monitor_queue->adjust(m);   }      //! Create a new @[Monitor] for a @[path].