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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1:   //   // Basic filesystem monitor.   // - // $Id: basic.pike,v 1.22 2009/08/07 12:46:48 grubba Exp $ + // $Id: basic.pike,v 1.23 2009/08/11 09:51:14 grubba Exp $   //   // 2009-07-09 Henrik Grubbström   //      //! Basic filesystem monitor.   //!   //! This module is intended to be used for incremental scanning of   //! a filesystem.      //! The default maximum number of seconds between checks of directories
pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:484:      //! Release a single @[Monitor] from monitoring.   //!   //! @seealso   //! @[release()]   protected void release_monitor(Monitor m)   {    m->next_poll = -1000;    monitor_queue->adjust(m);    while (monitor_queue->peek() < 0) { + #if __VERSION__ < 7.8 +  monitor_queue->top(); + #else    monitor_queue->pop(); -  + #endif    }   }      //! Create a new @[Monitor] for a @[path].   //!   //! This function is called by @[monitor()] to create a new @[Monitor]   //! object.   //!   //! The default implementation just calls @[Monitor()] with the same   //! arguments.