Page History
...
Flush also writes (to the disk) any of the buffers that contain records that have been changed. Use GarbageCollect after Flush to condense memory.
See also
Example
Code Block |
---|
/* These two statements recover unused space in memory and flush any changed buffers to disk. */ Flush GarbageCollect |