-
Donald H. (Donnie) Pinkston, III authored
The Buffer Manager wasn't tied into the property-registry mechanism, so it wouldn't notice when the page-cache size was changed. This is now hooked together with a property-observer interface.
9b9b7286
The Buffer Manager wasn't tied into the property-registry mechanism, so it wouldn't notice when the page-cache size was changed. This is now hooked together with a property-observer interface.