X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=frontend.ml;h=77e5ffe5dc7d8adff677be59d3098a0cb95ffeb1;hb=a9f606051125de2acc9140074f91054755fa67b4;hp=fc7a88fd40565c918fe70b8e791f70ecf323527e;hpb=2955cde23cac50c0ad569745974746993b171524;p=vsys.git diff --git a/frontend.ml b/frontend.ml index fc7a88f..77e5ffe 100644 --- a/frontend.ml +++ b/frontend.ml @@ -5,6 +5,7 @@ open Fifowatcher class frontendHandler (root_dir,slice_name) = object(this) + method get_slice_name () = slice_name method mkentry (rp:relpath) abspath perm = let realperm = perm land (lnot 0o111) in match rp with Relpath(rel) -> @@ -34,11 +35,19 @@ object(this) method unlink rp = match rp with Relpath(rel) -> - let fqp = String.concat "/" [root_dir;rel] in - Unix.unlink fqp + let fqp1 = String.concat "/" [root_dir;rel;".in"] in + let fqp2 = String.concat "/" [root_dir;rel;".out"] in + try + Unix.unlink fqp1; + Unix.unlink fqp2 + with _ -> + printf "Hm. %s disappeared. Never mind\n" fqp1;flush Pervasives.stdout method rmdir rp = match rp with Relpath(rel) -> let fqp = String.concat "/" [root_dir;rel] in + try Unix.rmdir fqp + with _ -> + printf "Hm. %s disappeared. Never mind\n" fqp;flush Pervasives.stdout end