equal
deleted
inserted
replaced
170 |
170 |
171 (* system command execution *) |
171 (* system command execution *) |
172 |
172 |
173 val bash_output = (fn (output, rc) => (output, mk_int rc)) o bash_output; |
173 val bash_output = (fn (output, rc) => (output, mk_int rc)) o bash_output; |
174 |
174 |
175 fun process_id pid = |
|
176 Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord (Posix.ProcEnv.getpid ()))); |
|
177 |
|
178 |
175 |
179 (* getenv *) |
176 (* getenv *) |
180 |
177 |
181 fun getenv var = |
178 fun getenv var = |
182 (case OS.Process.getEnv var of |
179 (case OS.Process.getEnv var of |