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

version» Context lines:

pike.git/lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1586:   //! Change backend.   //!   //! @param backend   //! Backend to use. @expr{0@} (zero) for the default backend.   void set_backend(Pike.Backend|void backend)   {    int was_nonblocking = !!co_id;    set_blocking();    this::backend = backend;   #if HAVE_EVENTSTREAM - #if 0 /* FIXME: The following does NOT work properly. */ -  if (eventstream && backend) { -  mixed key = monitor_mutex->lock(); -  foreach(monitors; string path; Monitor m) { -  if (m->accellerated) { -  m->accellerated = 0; -  monitor_queue->push(m); -  } -  } -  key = UNDEFINED; -  } - #endif +    #elif HAVE_INOTIFY    if (instance) {    instance->set_backend(backend || Pike.DefaultBackend);    }   #endif    if (was_nonblocking) {    set_nonblocking();    }   }