diff options
author | Ricardo Catalinas Jiménez <[email protected]> | 2012-03-01 14:11:49 +0100 |
---|---|---|
committer | Ricardo Catalinas Jiménez <[email protected]> | 2012-03-01 14:11:49 +0100 |
commit | 748a0ebb8c1e08fd73fbb8548e4e03bff2579dd2 (patch) | |
tree | c6538989ed1cb1e4eecb9bd57733d1d35d34c7ba /lib/tools | |
parent | eda0a2d866060b18af6f06abbc9ea9e920de43b7 (diff) | |
download | otp-748a0ebb8c1e08fd73fbb8548e4e03bff2579dd2.tar.gz otp-748a0ebb8c1e08fd73fbb8548e4e03bff2579dd2.tar.bz2 otp-748a0ebb8c1e08fd73fbb8548e4e03bff2579dd2.zip |
Fix global:{random_exit_name,random_notify_name}/3 spec
Both functions return pid(), not 'none'. The one that always returns
'none' is notify_all_name/3.
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions