equal
deleted
inserted
replaced
204 |
204 |
205 (*plain version; with return code*) |
205 (*plain version; with return code*) |
206 val system = OS.Process.system: string -> int; |
206 val system = OS.Process.system: string -> int; |
207 |
207 |
208 |
208 |
|
209 (*Convert a process ID to a decimal string (chiefly for tracing)*) |
|
210 fun string_of_pid pid = |
|
211 Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord pid)); |
|
212 |
|
213 |
209 (* getenv *) |
214 (* getenv *) |
210 |
215 |
211 fun getenv var = |
216 fun getenv var = |
212 (case OS.Process.getEnv var of |
217 (case OS.Process.getEnv var of |
213 NONE => "" |
218 NONE => "" |