os/ProcessState

value methods:

• pid
• exited?
• success?
• system_time
• user_time

pid

Returns the process id of the exited process.

(state pid) -> pid

exited?

Reports whether the program has exited.

(state exited?) -> bool

success?

Reports whether the program exited successfully, such as with exit status 0 on Unix.

(state success?) -> bool

system_time

Returns the system CPU time time/Duration of the exited process and its children.

(state system_time) -> duration

user_time

Returns the user CPU time time/Duration of the exited process and its children.

(state user_time) -> duration