Allow DOMTOOL_USER environment variable, to specify Domtool identity
authorAdam Chlipala <adamc@hcoop.net>
Sun, 25 Feb 2007 21:04:33 +0000 (21:04 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 25 Feb 2007 21:04:33 +0000 (21:04 +0000)
src/main.sml

index ca57210..0be3112 100644 (file)
@@ -172,8 +172,15 @@ val self =
 
 fun requestContext f =
     let
-       val uid = Posix.ProcEnv.getuid ()
-       val user = Posix.SysDB.Passwd.name (Posix.SysDB.getpwuid uid)
+       val user =
+           case Posix.ProcEnv.getenv "DOMTOOL_USER" of
+               NONE =>
+               let
+                   val uid = Posix.ProcEnv.getuid ()
+               in
+                   Posix.SysDB.Passwd.name (Posix.SysDB.getpwuid uid)
+               end
+             | SOME user => user
                   
        val () = Acl.read Config.aclFile
        val () = Domain.setUser user