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
(no commit message)
[vsys.git]
/
frontend.ml
diff --git
a/frontend.ml
b/frontend.ml
index
59e1a4c
..
1c8225c
100644
(file)
--- a/
frontend.ml
+++ b/
frontend.ml
@@
-13,7
+13,7
@@
class frontendHandler (root_dir,slice_name) =
object(this)
(** regex indicating that the script passes fds around *)
- val fd_regex = Str.regexp "
^
fd_"
+ val fd_regex = Str.regexp "fd_"
method is_fd_passer fname = Str.string_match fd_regex fname 0
method get_slice_name () = slice_name