X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=frontend.ml;h=cf53b9b713737cba57ec5453448133d06c526b88;hb=8ed96be634f1c0cd324d15e366efbf508cb20744;hp=59e1a4ce85255dae1fe44c402cf64485bc82ce45;hpb=9f36cfe865af086467301521d3b9362c1a621155;p=vsys.git diff --git a/frontend.ml b/frontend.ml index 59e1a4c..cf53b9b 100644 --- a/frontend.ml +++ b/frontend.ml @@ -13,9 +13,16 @@ 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 = + try let _ = Str.search_forward fd_regex fname 0 + in + true + with + | Not_found -> false + | _ -> false - method is_fd_passer fname = Str.string_match fd_regex fname 0 method get_slice_name () = slice_name (** A new script was copied into the backend, make a corresponding entry in the frontend.