X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=backend.ml;fp=backend.ml;h=d85ee7d54329a6049a800dcf1fd65118b3ea4975;hb=47e86c6701f0bfe11a8a8784cd06db3283a57775;hp=690f1c68e88bb30972cb2acbd186eba3a2e18fcb;hpb=a94e10d8cdc92ed752ad71888e13bb8ce9d42925;p=vsys.git diff --git a/backend.ml b/backend.ml index 690f1c6..d85ee7d 100644 --- a/backend.ml +++ b/backend.ml @@ -60,7 +60,7 @@ class backendHandler dir_root (frontend_lst: frontendHandler list) = (fun frontend-> try begin frontend#mkdir (mk_rel_path fqp) (s.st_perm); - Dirwatcher.add_watch fqp [S_Create;S_Delete] (Some(func)) + Dirwatcher.add_watch fqp [S_Create;S_Delete] func end with _ -> fprintf logfd "Could not create %s. Looks like a slice shot itself in the foot\n" fqp;flush logfd; @@ -98,7 +98,7 @@ class backendHandler dir_root (frontend_lst: frontendHandler list) = @param evlist Description of what happened @param fname Name of the file that the event applies to *) - method handle_dir_event dirname evlist fname = + method handle_dir_event _ dirname evlist fname = let fqp = String.concat "/" [dirname;fname] in if ((Str.string_match file_regexp fname 0) && not (Str.string_match acl_file_regexp fname 0)) then begin @@ -179,6 +179,6 @@ class backendHandler dir_root (frontend_lst: frontendHandler list) = in begin build_initial_tree dir_root; - Dirwatcher.add_watch dir_root [S_Create;S_Delete] (Some(this#handle_dir_event)); + Dirwatcher.add_watch dir_root [S_Create;S_Delete] (this#handle_dir_event); end end