contents index previous next
Routines for UNIX
Unix.fork()
Create duplicate processes.
Unix.kill()
Wrapper for UNIX kill command.
Unix.setgid()
Change group id.
Unix.setsid()
Create a new session.
Unix.setuid()
Change user id.
Unix.wait()
Suspend execution until child process stops.
Unix.waitpid()
Suspend execution with additional controls.