X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=dirwatcher.ml;fp=dirwatcher.ml;h=3808e8bde2fcd97aa988bc19625b3afbd573443c;hb=5648b4043b34c33111800aecba36f486627a30a0;hp=5bd4d6cb6f95dee02ec7fb3ec53557a7b63ed92b;hpb=6e043af83191e7ca7b456c999e5c3abd67530fbb;p=vsys.git diff --git a/dirwatcher.ml b/dirwatcher.ml index 5bd4d6c..3808e8b 100644 --- a/dirwatcher.ml +++ b/dirwatcher.ml @@ -20,7 +20,7 @@ let handle_dir_event dirname evlist str = flush Pervasives.stdout let add_watch dir events handler = - printf "Adding watch for %s\n" dir; + printf "Adding watch for %s\n" dir;flush Pervasives.stdout; let wd = Inotify.add_watch fd dir events in Hashtbl.add wdmap wd (dir,handler)