# HG changeset patch
# User etisserant
# Date 1200040789 -3600
# Node ID 3347581c31401835f7bdc9d04a339d4b45f5dac1
# Parent  fb106ad037706ae8b1dfb37757b2588612176ec3
Fixed timer problem on late Heartbeat. Thanks to Jorge.

diff -r fb106ad03770 -r 3347581c3140 src/lifegrd.c
--- a/src/lifegrd.c	Thu Jan 10 16:12:45 2008 +0100
+++ b/src/lifegrd.c	Fri Jan 11 09:39:49 2008 +0100
@@ -68,6 +68,9 @@
 {
   /*MSG_WAR(0x00, "ConsumerHearbeatAlarm", 0x00);*/
 
+  /* timer have been notified and is now free (non periodic)*/
+  /* -> avoid deleting re-assigned timer if message is received too late*/
+  d->ConsumerHeartBeatTimers[id]=TIMER_NONE;
   /*! call heartbeat error with NodeId */
   (*d->heartbeatError)((UNS8)( ((d->ConsumerHeartbeatEntries[id]) & (UNS32)0x00FF0000) >> (UNS8)16 ));
 }