Fix user domtool directory resolution
authorAdam Chlipala <adamc@hcoop.net>
Sun, 17 Dec 2006 21:25:40 +0000 (21:25 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 17 Dec 2006 21:25:40 +0000 (21:25 +0000)
src/main-client.sml

index c70dfb8..e017fc0 100644 (file)
 fun domtoolRoot () =
     let
        val uid = Posix.ProcEnv.getuid ()
 fun domtoolRoot () =
     let
        val uid = Posix.ProcEnv.getuid ()
-       val home = Posix.SysDB.Passwd.home (Posix.SysDB.getpwuid uid)
+       val uname = Posix.SysDB.Passwd.name (Posix.SysDB.getpwuid uid)
+       val dname = OS.Path.joinDirFile {dir = Config.homeBase,
+                                        file = uname}
     in
     in
-       OS.Path.joinDirFile {dir = home,
+       OS.Path.joinDirFile {dir = dname,
                             file = "domtool"}
     end
 
                             file = "domtool"}
     end