diff options
| author | Björn Gustavsson <[email protected]> | 2012-11-19 15:35:05 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2012-11-19 15:35:05 +0100 |
| commit | 011bb8a503c7ff967996c32a656d3e6436d017f7 (patch) | |
| tree | 08d6645a0cd74ea90a50748c015cd3146895b5ed /lib/edoc/ebin | |
| parent | 2cec24c37208c360123740f3af6b09aa33697f5f (diff) | |
| download | otp-011bb8a503c7ff967996c32a656d3e6436d017f7.tar.gz otp-011bb8a503c7ff967996c32a656d3e6436d017f7.tar.bz2 otp-011bb8a503c7ff967996c32a656d3e6436d017f7.zip | |
Fix race condition in test_server_io
In test_server_io:gc/1 we collect the group leaders for all processes.
We must handle the case that a process has died after processes/0
was called and process_info(P, group_leader) is called.
Diffstat (limited to 'lib/edoc/ebin')
0 files changed, 0 insertions, 0 deletions