diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-22 12:00:17 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-22 12:00:17 +0100 |
commit | 2e73ba1b49b70a2cfc6f70659d77ddf3e209448a (patch) | |
tree | e06cb44bd6702343665b6c070bf151c1acfce05d /crates/ra_ide/src/syntax_highlighting/html.rs | |
parent | 8b98eaa573f42e346049bb90473b9f821e7fbaf3 (diff) | |
parent | 56c090d0d0ad68c0dd195684e4d8180ea149692f (diff) |
Merge #5479
5479: Allow gathering memory stats on non-jemalloc Linux r=matklad a=jonas-schievink
I could also parse `/proc/$PID/statm` to get the resident set size, but decided against that for now as it isn't terribly useful.
Note that `mallinfo()` is incredibly slow for some reason, and unfortunately this will be exposed to users via the "Memory Usage" command (even worse, the opened document will show the outdated values while the server is processing). So, not very ideal, but it keeps me from recompiling r-a with different feature sets all the time.
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'crates/ra_ide/src/syntax_highlighting/html.rs')
0 files changed, 0 insertions, 0 deletions