diff options
author | Zandra <[email protected]> | 2016-04-25 09:05:30 +0200 |
---|---|---|
committer | Zandra <[email protected]> | 2016-05-02 14:43:53 +0200 |
commit | 0c2954dd7fa1923a26d7da05e366bca63d5fe53e (patch) | |
tree | 13e7ee3948a740a280da868f596a084f41a0e4cb /lib/runtime_tools | |
parent | fe1fe6b2ca2ebefd0b7e82b6651e35f6388a06d0 (diff) | |
download | otp-0c2954dd7fa1923a26d7da05e366bca63d5fe53e.tar.gz otp-0c2954dd7fa1923a26d7da05e366bca63d5fe53e.tar.bz2 otp-0c2954dd7fa1923a26d7da05e366bca63d5fe53e.zip |
use maps instead of gb_trees to optimize the rpc server
Diffstat (limited to 'lib/runtime_tools')
0 files changed, 0 insertions, 0 deletions