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]
/
frontend.ml
diff --git
a/frontend.ml
b/frontend.ml
index
fc7a88f
..
77e5ffe
100644
(file)
--- a/
frontend.ml
+++ b/
frontend.ml
@@
-5,6
+5,7
@@
open Fifowatcher
class frontendHandler (root_dir,slice_name) =
object(this)
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) ->
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) ->
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
method rmdir rp =
match rp with Relpath(rel) ->
let fqp = String.concat "/" [root_dir;rel] in
+ try
Unix.rmdir fqp
Unix.rmdir fqp
+ with _ ->
+ printf "Hm. %s disappeared. Never mind\n" fqp;flush Pervasives.stdout
end
end