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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1817: Inside #if HAVE_INOTIFY
  {   #if HAVE_INOTIFY    if (instance) {    instance->set_nonblocking();    }   #endif    if (co_id) return;    reschedule_backend_check(suggested_t);   }    - //! Set the @[default_max_dir_check_interval]. + //! Set the @[max_dir_check_interval].   void set_max_dir_check_interval(int max_dir_check_interval)   {    if (max_dir_check_interval > 0) {    this::max_dir_check_interval = max_dir_check_interval;    } else {    this::max_dir_check_interval = default_max_dir_check_interval;    }   }    - //! Set the @[default_file_interval_factor]. + //! Set the @[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;    }   } -  +  + //! Set the @[stable_time]. + void set_stable_time (int stable_time) + { +  if (stable_time > 0) { +  this::stable_time = stable_time; +  } else { +  this::stable_time = default_stable_time; +  } + }