first previous next last contents


#include <IO.h>

void flush2t(
        GapIO *io);

This functions checks out all written data by updating the database time stamp. If Gap4 crashes, upon restarting any data written since the last time stamp is ignored. The purpose of this is to ensure that the data in the database is internally consistent. Hence you should only call this function when the database writes are consistent.

An example of this is in deleting a reading N which has left and right neighbours of L and R. The operation of writes may be:

The database is consistent before these operations, and after these operations, but not at any stage in between.

first previous next last contents
This page is maintained by staden-package. Last generated on 1 March 2001.