From 1a12a42eb5d3a9ea7c2ce5c9684b5a8419f03651 Mon Sep 17 00:00:00 2001
From: Sapan Bhatia <sapanb@cs.princeton.edu>
Date: Thu, 26 Mar 2009 15:48:28 +0000
Subject: [PATCH] Allow concatenation of 'fd_' with 'local_'

---
 frontend.ml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

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.
-- 
2.43.0