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 /make/save_args | |
| 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 'make/save_args')
0 files changed, 0 insertions, 0 deletions