From e675c7590e18e752d7b0223c08572c1fc8f8ce8d Mon Sep 17 00:00:00 2001
From: Links <help.markus+gitk@gmail.com>
Date: Thu, 9 Mar 2017 18:43:23 +0100
Subject: [PATCH] add missing include for ESP with W5100 #177

---
 src/WebSockets.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/WebSockets.h b/src/WebSockets.h
index 7bb4303..1e62469 100644
--- a/src/WebSockets.h
+++ b/src/WebSockets.h
@@ -32,6 +32,8 @@
 #include <Arduino.h>
 #endif
 
+#include <functional>
+
 #ifdef DEBUG_ESP_PORT
 #define DEBUG_WEBSOCKETS(...) DEBUG_ESP_PORT.printf( __VA_ARGS__ )
 #else
@@ -77,6 +79,7 @@
 #if defined(ESP8266) || defined(ESP31B)
 #define WEBSOCKETS_NETWORK_TYPE NETWORK_ESP8266
 //#define WEBSOCKETS_NETWORK_TYPE NETWORK_ESP8266_ASYNC
+//#define WEBSOCKETS_NETWORK_TYPE NETWORK_W5100
 #else
 #define WEBSOCKETS_NETWORK_TYPE NETWORK_W5100
 #endif