git://git.onelab.eu
/
vsys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4d3b310
)
Allow concatenation of 'fd_' with 'local_'
author
Sapan Bhatia
<sapanb@cs.princeton.edu>
Thu, 26 Mar 2009 15:48:28 +0000
(15:48 +0000)
committer
Sapan Bhatia
<sapanb@cs.princeton.edu>
Thu, 26 Mar 2009 15:48:28 +0000
(15:48 +0000)
frontend.ml
patch
|
blob
|
history
diff --git
a/frontend.ml
b/frontend.ml
index
1c8225c
..
cf53b9b
100644
(file)
--- 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.