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.12 2009/07/17 15:34:31 jonasw Exp $ + // $Id: basic.pike,v 1.13 2009/07/17 15:56:50 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:166:    int file_interval_factor,    int stable_time)   {    int next_poll;    Stdio.Stat st;    int last_change = 0x7fffffff; // Future...    array(string) files;       int `<(mixed m) { return next_poll < m; }    int `>(mixed m) { return next_poll > m; } -  int `==(mixed m) { return next_poll == m; } +        protected string _sprintf(int c)    {    return sprintf("Monitor(%O, %O, next: %s, st: %O)",    path, flags, ctime(next_poll) - "\n", st);    }   }      //! Mapping from monitored path to corresponding @[Monitor].   //!