X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=frontend.ml;h=1c8225c50261eeb0f157f990c109acbd594ae337;hb=36303447f006c8c87cf4e91794b96752003e4b68;hp=59e1a4ce85255dae1fe44c402cf64485bc82ce45;hpb=9f36cfe865af086467301521d3b9362c1a621155;p=vsys.git diff --git a/frontend.ml b/frontend.ml index 59e1a4c..1c8225c 100644 --- 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