GetFileChanged:
PROC [s:
DB.Segment]
RETURNS [fileChanged:
BOOL];
After a DB.OpenTransaction[], returns TRUE if the specified segment has been changed since the last DB.CloseTransaction[] or DB.AbortTransaction[]. The segment has always been changed after the first DB.OpenTransaction[]. If you are reopening the transaction after a DB.Aborted, this indicates that you were probably aborted due to an interference.