X-Git-Url: http://git.onelab.eu/?p=vsys.git;a=blobdiff_plain;f=frontend.ml;h=cf53b9b713737cba57ec5453448133d06c526b88;hp=1c8225c50261eeb0f157f990c109acbd594ae337;hb=1a12a42eb5d3a9ea7c2ce5c9684b5a8419f03651;hpb=4d3b3106c2210fa433241a91a7aae34e7840ba64 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.