master/domain.h
branchredundancy
changeset 2368 dd84ef164869
parent 2269 1d0711235a61
child 2453 d461b1f07296
--- a/master/domain.h	Fri Mar 16 16:04:26 2012 +0100
+++ b/master/domain.h	Fri Mar 16 18:24:29 2012 +0100
@@ -66,10 +66,12 @@
     struct list_head datagram_pairs; /**< Datagrams pairs (main/backup) for
                                        process data exchange. */
 
-    uint16_t working_counter; /**< Last working counter value. */
+    uint16_t working_counter[EC_NUM_DEVICES]; /**< Last working counter
+                                                values. */
     uint16_t expected_working_counter; /**< Expected working counter. */
     unsigned int working_counter_changes; /**< Working counter changes
                                              since last notification. */
+    unsigned int redundancy_active; /**< Non-zero, if redundancy is in use. */
     unsigned long notify_jiffies; /**< Time of last notification. */
 };