diff options
| author | Ondrej Zajicek <santiago@crfreenet.org> | 2009-02-12 13:43:06 +0100 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2009-02-12 13:43:06 +0100 |
| commit | b807ef9a15db2a5db14f68011923975dfc472f49 (patch) | |
| tree | e160226a5dcc52694e59fd6680c1d5841b6c1523 /tools/gendist | |
| parent | 80ac7dc18145baa04a05eee3a69d325087cb9472 (diff) | |
Fixes bug in protocol state machine
Scheduling flush must be done before resource pool freeing as it
frees some allocated list nodes from a global list.
Diffstat (limited to 'tools/gendist')
0 files changed, 0 insertions, 0 deletions