Rpm creates an annoying temp file that vsys saw as a new script. Fool vsys once, ...
authorSapan Bhatia <sapanb@cs.princeton.edu>
Wed, 18 Jun 2008 18:18:57 +0000 (18:18 +0000)
committerSapan Bhatia <sapanb@cs.princeton.edu>
Wed, 18 Jun 2008 18:18:57 +0000 (18:18 +0000)
backend.ml

index fd648bb..6743f8c 100644 (file)
@@ -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_";