diff options
| author | Stavros Aronis <[email protected]> | 2012-02-23 13:46:51 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:20 +0200 |
| commit | dd1d17c1798a601dbe6378795c9a2fdd0effcc15 (patch) | |
| tree | ae1412a05ddaf8ef4daa2fa22c765921729ed9bb /configure.in | |
| parent | 44b23610234bf4028aedd326388bec503aee1026 (diff) | |
| download | otp-dd1d17c1798a601dbe6378795c9a2fdd0effcc15.tar.gz otp-dd1d17c1798a601dbe6378795c9a2fdd0effcc15.tar.bz2 otp-dd1d17c1798a601dbe6378795c9a2fdd0effcc15.zip | |
Worker PIDs are stored in an ETS table
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions