fixup! Use vSocketCloseNextTime instead of FreeRTOS_closesocket

bernd-edlinger · bernd-edlinger · commit 686c7686be79 · 2021-05-17T15:02:01.000+02:00
diff --git a/.github/lexicon.txt b/.github/lexicon.txt
@@ -1483,6 +1483,7 @@ xstream
 xsum
 xtargethardwareaddress
 xtaskcheckfortimeout
+xtaskgetcurrenttaskhandle
 xtaskgettickcount
 xtaskhandle
 xtaskresumeall
