From 3c855c4bab81d7d4adb54724f0e08be61a55241e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 17 Dec 2006 21:25:40 +0000 Subject: [PATCH] Fix user domtool directory resolution --- src/main-client.sml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/main-client.sml b/src/main-client.sml index c70dfb8..e017fc0 100644 --- a/src/main-client.sml +++ b/src/main-client.sml @@ -21,9 +21,11 @@ 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 - OS.Path.joinDirFile {dir = home, + OS.Path.joinDirFile {dir = dname, file = "domtool"} end -- 2.20.1