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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1259:      //! Set the @[default_file_interval_factor].   void set_file_interval_factor(int file_interval_factor)   {    if (file_interval_factor > 0) {    this::file_interval_factor = file_interval_factor;    } else {    this::file_interval_factor = default_file_interval_factor;    }   } -  +