oursh/process/
session.rs

1/// Every process group is in a unique session.
2///
3/// (When the process is created, it becomes a member of the session of its parent.) By convention,
4/// the session ID of a session equals the process ID of the first member of the session, called
5/// the session leader. A process finds the ID of its session using the system call getsid().
6///
7/// Every session may have a controlling tty, that then also is called the controlling tty of each
8/// of its member processes. A file descriptor for the controlling tty is obtained by opening
9/// /dev/tty. (And when that fails, there was no controlling tty.) Given a file descriptor for the
10/// controlling tty, one may obtain the SID using tcgetsid(fd).
11///
12#[allow(dead_code)]
13pub struct Session;