Generation numbers to catch write back of stale copies

[empserver] / include / plane.h

diff --git a/include/plane.h b/include/plane.h
index e77ee93acef4438ffab683ae145d9d20cd73b850..e080099b644fbed5b8b539766a11cd163e991a7a 100644 (file)
--- a/include/plane.h
+++ b/include/plane.h
@@ -48,6 +48,7 @@ struct plnstr {
     /* initial part must match struct empobj */
     signed ef_type: 8;
     unsigned pln_seqno: 12;
+    unsigned pln_generation: 12;
     int pln_uid;               /* unit id (plane #) */
     time_t pln_timestamp;      /* Last time this plane was touched */
     natid pln_own;             /* owning country */