a means to wait for dying children with a timeout (not yet tested)
waitpid with timeout for timeboxing, WIP
waitpid input stream & sequencer job
eiffeltest: process time boxing, WIP
forgot that file
eiffeltest time boxing: WIP
oops
bugfix
timebox WIP
eiffeltest time boxing begins to work
eiffeltest timeboxing WIP: without timeout, it works at last.
eiffeltest-ng timeboxing: done.
bugfix
bugfix