Memory leak

[coderaiser]

I think memory leak could be present in devtools-terminal. Today on linux server i found that is to less memory and I could do nothing. I start searching what process eat all memory and find up a strange list of commands that I typed on terminal. I killed devtools-terminal process and 50% of memory is empty now.

Do you kill processes that do not using no more? If disconnect occurs for example.