git://git.onelab.eu
/
vsys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Changed interface names to make them shorter, a bit more intuitive
[vsys.git]
/
backend.ml
diff --git
a/backend.ml
b/backend.ml
index
6743f8c
..
2f964ef
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 *)
(** 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_";
val acl_file_regexp = Str.regexp ".*acl$"
val dir_regexp = Str.regexp "^dir_";