package eio
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
sha256=3792e912bd8d494bb2e38f73081825e4d212b1970cf2c1f1b2966caa9fd6bc40
    
    
  sha512=4a80dbcf8cf2663bdad0f2970871844f37bd293c56bd1ce602910e0a613754945f1f942719f9630906453be7c73c1732dc97526c6c90b0b36100d04fd5e871e4
    
    
  doc/eio.unix/Eio_unix/Process/index.html
Module Eio_unix.ProcessSource
Spawning child processes with extra control.
This extends the Eio.Process API with more control over file-descriptors.
Types
These extend the types in Eio.Process with support for file descriptors.
val spawn_unix : 
  sw:Eio.Std.Switch.t ->
  _ mgr ->
  ?cwd:Eio.Fs.dir_ty Eio.Path.t ->
  fds:(int * Fd.t * Private.Fork_action.blocking) list ->
  ?env:string array ->
  ?executable:string ->
  string list ->
  ty Eio.Std.rspawn_unix ~sw mgr ~fds args spawns a child process running the command args.
The arguments are as for Eio.Process.spawn, except that it takes a list of FD mappings for Fork_action.inherit_fds directly, rather than just flows for the standard streams.
If an Eio backend installs a SIGCHLD handler, the handler will broadcast on this condition.
This allows non-Eio libraries (such as Lwt) to share its signal handler.
Note: Not all backends install a handler (e.g. eio_linux uses process descriptors instead), so be sure to call install_sigchld_handler if you need to use this.