diff options
author | MarcoFalke <falke.marco@gmail.com> | 2017-08-16 15:59:26 +0200 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2017-08-16 16:09:27 +0200 |
commit | 22e301a3d56dc9e6878380ee92c7d19ca43119d2 (patch) | |
tree | 4cca907c6b5a338a4952054909e47f50dedf5dc4 /src/script/interpreter.h | |
parent | c484ec6c9b85ca4e331e395c564ae232fd0681dd (diff) | |
parent | a622a1768325d01eeb16f42340cdd36e722a3fa8 (diff) |
Merge #10901: Fix constness of ArgsManager methods
a622a1768 Fix constness of ArgsManager methods (João Barbosa)
Pull request description:
Make `cs_args` mutex mutable so that const methods can acquire it.
There's also tiny performance improvement by avoiding two map lookups when retrieving an argument value.
Tree-SHA512: ece58469745f2743b4b643242b51889a3d9c5b76492ed70bb74d4e5b378fff59da79fc129e499da779bf9f488c9435dda17ad1f3a804c1c30f56af422389e8bd
Diffstat (limited to 'src/script/interpreter.h')
0 files changed, 0 insertions, 0 deletions