diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-03T14·20+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-03T14·20+0000 |
| commit | 81de538e46c154267c4fb7e87cf6804aed63f3df (patch) | |
| tree | e51207632ade8342015d007fcff6b80c7d75ecf3 /src/libexpr/get-drvs.cc | |
| parent | b90daaaf6c1f52fe93f4f845da20b122cfea2936 (diff) | |
* Use setsid instead of setpgrp in child processes. This not only
creates a new process group but also a new session. New sessions have no controlling tty, so child processes like ssh cannot open /dev/tty (which is bad).
Diffstat (limited to 'src/libexpr/get-drvs.cc')
0 files changed, 0 insertions, 0 deletions