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/test_server/src/test_server_internal.hrl | |
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/test_server/src/test_server_internal.hrl')
0 files changed, 0 insertions, 0 deletions