Diff: wdt_manager.h

Revision:

119:ee6a53069455

Parent:

114:472502b31a12

Child:

121:ee02790d00b7

--- a/wdt_manager.h	Fri Apr 24 13:54:24 2015 +0000
+++ b/wdt_manager.h	Thu Apr 30 15:42:41 2015 +0000
@@ -10,18 +10,28 @@
 
 extern UDPSocket udp_wdt_client;
 
-#define EXTERNAL_WDT_IP "192.168.120.144"
-#define EXTERNAL_WDT_SERVER_PORT 9395
-#define EXTERNAL_WDT_HEADER_PORT 6612
+const char EXTERNAL_WDT_IP[] = "192.168.120.144";
+const uint16_t EXTERNAL_WDT_SERVER_PORT = 9395;
+const uint16_t EXTERNAL_WDT_HEADER_PORT = 6612;
     
-#define init_wdt() { \
-  wdt.Configure( 30.0 ); \
-  wdt_timer.start(); \
+inline int init_wdt ()
+{
+  wdt.Configure( 30.0 );
+  wdt_timer.start();
+  return ( 0 );
 }
 
-#define init_external_wdt() { \
-  udp_wdt_client.set_blocking( false, 0 ); \
-  udp_wdt_client.bind( 6612 ); \
+inline int init_external_wdt() 
+{
+  udp_wdt_client.set_blocking( false, 0 );
+  return ( udp_wdt_client.bind( 6612 ) );
+}
+
+inline void reconnect_extern_wdt_socket()
+{
+  udp_wdt_client.close();
+  udp_wdt_client.set_blocking( false, 0 );
+  udp_wdt_client.bind( 6612 );
 }
 
 #endif
\ No newline at end of file