Docs GODI Archive
Projects Blog Knowledge

Look up function:

(e.g. "List.find" or "keysym")
More options

Class Shell_sys.job_engine


class job_engine : Unixqueue.event_system -> job_instance -> [unit] job_handler_engine_type
The job_engine watches the job, and looks whether the processes are finished, and if so, it records the process statuses. Also, the engine takes care of pumping producer data into the job, and of collecting consumer data.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml