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:
c310c5e
)
Co-exist with nm
author
Sapan Bhatia
<sapanb@cs.princeton.edu>
Tue, 24 Mar 2009 17:59:26 +0000
(17:59 +0000)
committer
Sapan Bhatia
<sapanb@cs.princeton.edu>
Tue, 24 Mar 2009 17:59:26 +0000
(17:59 +0000)
frontend.ml
patch
|
blob
|
history
diff --git
a/frontend.ml
b/frontend.ml
index
59e1a4c
..
1c8225c
100644
(file)
--- a/
frontend.ml
+++ b/
frontend.ml
@@
-13,7
+13,7
@@
class frontendHandler (root_dir,slice_name) =
object(this)
(** regex indicating that the script passes fds around *)
object(this)
(** regex indicating that the script passes fds around *)
- val fd_regex = Str.regexp "
^
fd_"
+ val fd_regex = Str.regexp "fd_"
method is_fd_passer fname = Str.string_match fd_regex fname 0
method get_slice_name () = slice_name
method is_fd_passer fname = Str.string_match fd_regex fname 0
method get_slice_name () = slice_name