Diff: EthernetInterface.h

Revision:

35:fe3028eda085

Parent:

34:7d44648ec5f2

Child:

36:0ba2e8d5274a

--- a/EthernetInterface.h	Mon Oct 09 19:58:19 2017 +0200
+++ b/EthernetInterface.h	Tue Oct 10 20:56:13 2017 +0200
@@ -37,6 +37,7 @@
     */
     EthernetInterface(PinName mosi, PinName miso, PinName sclk, PinName cs, PinName reset);
     EthernetInterface(SPI* spi, PinName cs, PinName reset);
+    ~EthernetInterface();
 #endif
 
   /** Initialize the interface with DHCP.
@@ -77,7 +78,10 @@
   char* getGateway();
   char* getDNSServer();
   char* getMACAddress();
-
+  int getLeaseTime() { return leaseTime; };
+  int getLeaseStart() { return leaseStart; };
+  char *getDomainName(void) { return domainName; };
+    
   int IPrenew(int timeout_ms = 15*1000);
     
 private:
@@ -87,6 +91,8 @@
     char dns_string[20];
     char mac_string[20];
     bool ip_set;
+    uint32_t leaseStart;
+    char *domainName;
 };
 
 #include "TCPSocketConnection.h"