diff options
| author | Andras Boroska <andras.boroska@gmail.com> | 2015-05-30 23:57:20 +0100 |
|---|---|---|
| committer | Andras Boroska <andras.boroska@gmail.com> | 2015-05-30 23:57:20 +0100 |
| commit | 5f423e46d900d93a6a87ad2243124ec7fa894c93 (patch) | |
| tree | 8d1f95d77c35ec2e80ee816f150e9cdf594e7ace /priv/shell-completion/bash | |
| parent | 4ac482e01826a01572ebbc735baed9ad81012c4a (diff) | |
Fix badarg exception when setting group_leader for a dead pid
When setting up a shell some time elapses between listing the pids and setting
the group_leader. If the process exited during that time then
erlang:group_leader/2 will crash with badarg.
Diffstat (limited to 'priv/shell-completion/bash')
0 files changed, 0 insertions, 0 deletions