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.9 2009/07/16 14:13:44 grubba Exp $ + // $Id: basic.pike,v 1.10 2009/07/16 14:14:20 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:29:   //! with to get the maximum number of seconds between checks of files.   //!   //! The value can be changed by calling @[create()].   //!   //! The value can be overridden for individual files or directories   //! by calling @[monitor()].   //!   //! Overload this constant to change the default.   protected constant default_file_interval_factor = 5;    - //! The minimum number of seconds without changes for a change to be - //! regarded as stable (see @[stable_data_change()]. + //! The default minimum number of seconds without changes for a change + //! to be regarded as stable (see @[stable_data_change()].   protected constant default_stable_time = 5;      protected int max_dir_check_interval = default_max_dir_check_interval;   protected int file_interval_factor = default_file_interval_factor;   protected int stable_time = default_stable_time;      // Callbacks      //! File content changed callback.   //!