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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:681:    file_interval_factor,    stable_time);    check_monitor(monitors[file]);    } else {    file_exists(file, file_stat(file, 1));    }    }    }    // Signal file_exists for path as an end marker.    file_exists(path, st); +  } else { +  // The path we're supposed to monitor is already gone. +  check_for_release(MF_AUTO, MF_AUTO);    }    return 1;    }    if (old_st) {    if (!st || ((old_st->mode & S_IFMT) != (st->mode & S_IFMT))) {    // File deleted or changed type.       int delay;    // Propagate deletions to any submonitors.    if (files) {