equal
deleted
inserted
replaced
109 (* current directory *) |
109 (* current directory *) |
110 |
110 |
111 val cd = OS.FileSys.chDir; |
111 val cd = OS.FileSys.chDir; |
112 val pwd = OS.FileSys.getDir; |
112 val pwd = OS.FileSys.getDir; |
113 |
113 |
114 fun process_id () = |
|
115 Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord (Posix.ProcEnv.getpid ()))); |
|
116 |
|
117 |
114 |
118 (* getenv *) |
115 (* getenv *) |
119 |
116 |
120 fun getenv var = |
117 fun getenv var = |
121 (case OS.Process.getEnv var of |
118 (case OS.Process.getEnv var of |