From: Sapan Bhatia <sapanb@cs.princeton.edu>
Date: Thu, 26 Mar 2009 15:48:28 +0000 (+0000)
Subject: Allow concatenation of 'fd_' with 'local_'
X-Git-Tag: vsys-0.9-0~5
X-Git-Url: http://git.onelab.eu/?p=vsys.git;a=commitdiff_plain;h=1a12a42eb5d3a9ea7c2ce5c9684b5a8419f03651

Allow concatenation of 'fd_' with 'local_'
---

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.