+
Point of view
All features
expanded class WAITPID_ACTION
Summary
Direct parents
Insert list: ANY
Overview
fire_waitpid (pid: INTEGER_32, status: INTEGER_32)
effective procedure
fire_timeout
effective procedure
set (a_on_waitpid: PROCEDURE[TUPLE 2[INTEGER_32, INTEGER_32]], a_on_timeout: PROCEDURE[TUPLE])
effective procedure
ensure
writable attribute
{}
on_timeout: PROCEDURE[TUPLE]
writable attribute
{}