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
(from parent 1:
dd8b00b
)
Rpm creates an annoying temp file that vsys saw as a new script. Fool vsys once, ...
author
Sapan Bhatia
<sapanb@cs.princeton.edu>
Wed, 18 Jun 2008 18:18:57 +0000
(18:18 +0000)
committer
Sapan Bhatia
<sapanb@cs.princeton.edu>
Wed, 18 Jun 2008 18:18:57 +0000
(18:18 +0000)
backend.ml
patch
|
blob
|
history
diff --git
a/backend.ml
b/backend.ml
index
fd648bb
..
6743f8c
100644
(file)
--- a/
backend.ml
+++ b/
backend.ml
@@
-46,7
+46,7
@@
class backendHandler dir_root (frontend_lst: frontendHandler list) =
(** Regular expression that defines a legal script name. Filter out
* temporary files using this *)
- val file_regexp = Str.regexp "
[a-zA-Z][a-zA-Z0-9_\.]*
"
+ val file_regexp = Str.regexp "
^[a-zA-Z][a-zA-Z0-9_\.]*$
"
val acl_file_regexp = Str.regexp ".*acl$"
val dir_regexp = Str.regexp "^dir_";