X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=frontend.ml;h=cf53b9b713737cba57ec5453448133d06c526b88;hb=755411474ed0a694766fc6f3a916afaee1da7ebd;hp=1c8225c50261eeb0f157f990c109acbd594ae337;hpb=b6c3bd0262e81c6b1200c507af62b8d1e4cb9d1d;p=vsys.git diff --git a/frontend.ml b/frontend.ml index 1c8225c..cf53b9b 100644 --- a/frontend.ml +++ b/frontend.ml @@ -15,7 +15,14 @@ object(this) (** regex indicating that the script passes fds around *) val fd_regex = Str.regexp "fd_" - method is_fd_passer fname = Str.string_match fd_regex fname 0 + method is_fd_passer fname = + try let _ = Str.search_forward fd_regex fname 0 + in + true + with + | Not_found -> false + | _ -> false + method get_slice_name () = slice_name (** A new script was copied into the backend, make a corresponding entry in the frontend.