From 1694b92f2f7ac1177492ad1de42e0b18e09486c5 Mon Sep 17 00:00:00 2001
From: Sandeep Mistry <s.mistry@arduino.cc>
Date: Thu, 28 Jun 2018 13:00:28 +0200
Subject: [PATCH] Add vTaskDelay to end of WiFiSSLClient::stop()

---
 arduino/libraries/WiFi/src/WiFiSSLClient.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/arduino/libraries/WiFi/src/WiFiSSLClient.cpp b/arduino/libraries/WiFi/src/WiFiSSLClient.cpp
index 316cbf6..4772187 100644
--- a/arduino/libraries/WiFi/src/WiFiSSLClient.cpp
+++ b/arduino/libraries/WiFi/src/WiFiSSLClient.cpp
@@ -223,6 +223,8 @@ void WiFiSSLClient::stop()
     _connected = false;
     _netContext.fd = -1;
   }
+
+  vTaskDelay(1);
 }
 
 uint8_t WiFiSSLClient::connected()