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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:797:    return 1;    } else if (last_change != 0x7fffffff) {    MON_WERR("Not stable yet. Age: %d seconds. Path: %O\n",    time(1) - last_change, path);    } else {    MON_WERR("Inode stable still.\n");    }    return 0;    }    -  protected void destroy(int cause) +  protected void _destruct(int cause)    {    // NB: Cause #0 == DESTRUCT_EXPLICIT.    // Any other cause and unregistering is irrelevant.    unregister_path(1 + cause);    }   }      //! @class DefaultMonitor   //! This symbol evaluates to the @[Monitor] class used by   //! the default implementation of @[monitor_factory()].
pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1110: Inside #if undefined(INHIBIT_INOTIFY_MONITOR)
   }      #endif /* !INHIBIT_INOTIFY_MONITOR */    ::register_path(initial);    }       protected void unregister_path(int|void dying)    {    if (wd != -1) {    // NB: instance may be null if the main object has been destructed -  // and we've been called via a destroy(). +  // and we've been called via a _destruct().    if (instance && dying) {    MON_WERR("### Unregistering from inotify.\n");    // NB: Inotify automatically removes watches for deleted files,    // and will complain if we attempt to remove them too.    //    // 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);    };
pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1204:    }    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() + protected void _destruct()   {    // 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