diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-08-29 00:08:39 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-08-29 00:08:39 +0200 |
| commit | 2d82e2a2c609b102b62d27e864a9a2f87df6995b (patch) | |
| tree | 2db6ff307144971db37c734a582da051fd27fcbe /src/buffer_manager.cc | |
| parent | ab47b72dc84e49d9b7e647b08af93020fa510616 (diff) | |
fix ShellManager, avoid zombie childs when grand childs detaches themselves
Diffstat (limited to 'src/buffer_manager.cc')
0 files changed, 0 insertions, 0 deletions