diff options
| author | erdgeist <> | 2008-10-17 15:21:47 +0000 |
|---|---|---|
| committer | erdgeist <> | 2008-10-17 15:21:47 +0000 |
| commit | 4b31dce3b385fdbfff08434201e6661867a27c6f (patch) | |
| tree | 7c7c62c8512b917846f7b4ced72b4900c2964f21 /ot_mutex.h | |
| parent | f4283be67732c2edce701762d871cf7b8495dd4a (diff) | |
release pools only after all other services have been stopped.
Diffstat (limited to 'ot_mutex.h')
0 files changed, 0 insertions, 0 deletions