Generation numbers to catch write back of stale copies

[empserver] / include / file.h

diff --git a/include/file.h b/include/file.h
index 9aa6f38920565c961bb9dde952538e53040e668c..0ffa5b0cf450563aa00f2fdbac432f752d838d22 100644 (file)
--- a/include/file.h
+++ b/include/file.h
@@ -88,6 +88,7 @@ struct emptypedstr {
     short ef_type;
     short uid;
     unsigned seqno;
+    unsigned generation;
     time_t timestamp;
 };
 
@@ -203,6 +204,8 @@ enum {
 
 extern struct castr *ef_cadef(int);
 extern int ef_read(int, int, void *);
+extern void ef_make_stale(void);
+extern void ef_mark_fresh(int, void *);
 extern void *ef_ptr(int, int);
 extern char *ef_nameof(int);
 extern time_t ef_mtime(int);