git://git.onelab.eu
/
vsys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Still trying to fix KyoungSoo's bug
[vsys.git]
/
dirwatcher.ml
diff --git
a/dirwatcher.ml
b/dirwatcher.ml
index
810b2bc
..
a50416f
100644
(file)
--- a/
dirwatcher.ml
+++ b/
dirwatcher.ml
@@
-71,17
+71,23
@@
let receive_event (eventdescriptor:fname_and_fd) (bla:fname_and_fd) =
| None->logprint "Unhandled watch descriptor\n"
| Some(handler)->
let fqp = String.concat "/" [dirname;purestr] in
| None->logprint "Unhandled watch descriptor\n"
| Some(handler)->
let fqp = String.concat "/" [dirname;purestr] in
+ logprint "Received event from %s\n" fqp;
let mask_filter = Hashtbl.mem masks fqp in
begin
if ((not mask_filter)) then
begin
let mask_filter = Hashtbl.mem masks fqp in
begin
if ((not mask_filter)) then
begin
- (*logprint "Received event for - %s\n"
+ (*
+ logprint "Received event for - %s\n"
fqp;*)
handler wd dirname evlist
purestr
end
else
fqp;*)
handler wd dirname evlist
purestr
end
else
- unmask_watch fqp
+ begin
+ (*logprint "Unmasking %s\n"
+ * fqp;*)
+ unmask_watch fqp
+ end
end
end
| _ -> ())
end
end
| _ -> ())