« Previous | Next » 

Revision b807ef9a

IDb807ef9a15db2a5db14f68011923975dfc472f49
Parent 80ac7dc1
Child d901db3f

Added by Ondrej Zajicek about 12 years ago

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.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences