diff options
| author | Pixel <pixel@nobis-crew.org> | 2012-04-06 11:03:57 -0700 |
|---|---|---|
| committer | Pixel <pixel@nobis-crew.org> | 2012-04-06 11:03:57 -0700 |
| commit | 64de8836d4924862d6cc352f250b802e346c29be (patch) | |
| tree | e10b292b82f49f65e82a6062d811c0850019f67c /src/TaskMan.cc | |
| parent | e4931a41aabe7931fe4f57835266d2a121008ce3 (diff) | |
Improving a bit the way threaded task managers are being stopped.
Diffstat (limited to 'src/TaskMan.cc')
0 files changed, 0 insertions, 0 deletions