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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1099:    }    if (file_interval_factor > 0) {    this::file_interval_factor = file_interval_factor;    }    if (stable_time > 0) {    this::stable_time = stable_time;    }    clear();   }    + protected void destroy() + { +  // Destruct monitors before we're destructed ourselves, since they +  // will attempt to unregister with us. +  foreach (monitors;; Monitor m) +  destruct (m); + } +    //! Clear the set of monitored files and directories.   //!   //! @note   //! Due to circular datastructures, it's recomended   //! to call this function prior to discarding the object.   void clear()   {    monitors = ([]);    monitor_queue = ADT.Heap();   #if HAVE_EVENTSTREAM