Plasma GitLab Archive
Projects Blog Knowledge

Class type Shell_uq.system_handler_engine_type


class type ['a] system_handler_engine_type = object .. end
This engine type can be passed as system_handler to Shell_sys.register_job in order to watch a running job.
Inherits
method system_handler : Shell_sys.system_handler
Returns the system_handler. The sys_wait function simply calls Unixqueue.run to allow integration into event systems.
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml