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
*** empty log message ***
[vsys.git]
/
dirwatcher.ml
diff --git
a/dirwatcher.ml
b/dirwatcher.ml
index
3808e8b
..
f01cb33
100644
(file)
--- a/
dirwatcher.ml
+++ b/
dirwatcher.ml
@@
-34,7
+34,7
@@
let asciiz s =
let nulterm = findfirstnul s 0 (String.length s) in
String.sub s 0 nulterm
let nulterm = findfirstnul s 0 (String.length s) in
String.sub s 0 nulterm
-let receive_event (eventdescriptor:f
d_and_fname) (bla:fd_and_fname
) =
+let receive_event (eventdescriptor:f
name_and_fd) (bla:fname_and_fd
) =
let (_,fd) = eventdescriptor in
let evs = Inotify.read fd in
List.iter (fun x->
let (_,fd) = eventdescriptor in
let evs = Inotify.read fd in
List.iter (fun x->