package eio

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Types

Effect-based direct-style IO API for OCaml

Install

dune-project

Dependency

github.com Readme Changelog ISC License Edit opam file Versions (21)

Authors

Maintainers

A

anil@recoil.org

Sources

eio-1.5.tbz

sha256=7d70d1f5fb2b7190bf1ab28fffeb272da51ffe6d6c9c7c94e0485fabdf3b3fda

sha512=4582ac2fb2f8616b3d8ae9670eb7913a78085899b14044408801b30a34fed6c4d32971ba72eedb0cbc3d82c057610cf81c482090e75e2985330fcde96478ac5e

doc/eio.unix/Eio_unix/Process/index.html

Module `Eio_unix.Process`Source

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.

Sourcetype ty = [ `Generic | `Unix ] Eio.Process.ty

Sourcetype 'a t = ([> ty ] as 'a) Eio.Std.r

Sourcetype mgr_ty = [ `Generic | `Unix ] Eio.Process.mgr_ty

Sourcetype 'a mgr = ([> mgr_ty ] as 'a) Eio.Std.r

Sourcemodule Pi : sig ... end

Source

module Make_mgr
  (X : sig ... end) : 
  Pi.MGR with type t = X.t and type tag = [ `Generic | `Unix ]

Source

val spawn_unix : 
  sw:Eio.Std.Switch.t ->
  _ mgr ->
  ?cwd:Eio.Fs.dir_ty Eio.Path.t ->
  ?pgid:int ->
  ?uid:int ->
  ?gid:int ->
  ?login_tty:Fd.t ->
  fds:(int * Fd.t * Private.Fork_action.blocking) list ->
  ?env:string array ->
  ?executable:string ->
  string list ->
  ty Eio.Std.r

spawn_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 Private.Fork_action.inherit_fds directly, rather than just flows for the standard streams.

parameter login_tty
If given, the child starts a new session with this terminal device as its controlling terminal and stdin/stdout/stderr.

before 1.4

The uid, gid and pgid parameters weren't available.

Sourceval sigchld : Eio.Condition.t

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.

Sourceval install_sigchld_handler : unit -> unit

install_sigchld_handler () sets the signal handler for SIGCHLD to broadcast sigchld.