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.38 2010/04/27 15:00:54 grubba Exp $ + // $Id: basic.pike,v 1.39 2010/07/14 14:11:08 jonasw 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:579:    check_monitor(monitors[file]);    } else {    file_created(file, file_stat(file, 1));    }    }    }    return 1;    } else {    return 0;    } -  if ((st->mtime != old_st->mtime) || (st->ctime != old_st->ctime) || +  +  // Note: ctime seems to change unexpectedly when running ImageMagick +  // on NFS disk so we disable it for the moment [bug 5587]. +  if ((st->mtime != old_st->mtime) || +  /* (st->ctime != old_st->ctime) || */    (st->size != old_st->size)) {    last_change = time(1);    if (status_change(old_st, st, orig_flags, flags)) return 1;    }    if ((flags & MF_RECURSE) && (st->isdir)) {    // Check the files in the directory soon.    foreach(files, string file) {    file = canonic_path(Stdio.append_path(path, file));    Monitor m2 = monitors[file];    if (m2) {