Unfortunately the wifi libs for the ESP-idf are supplied as headers and compiled libs, so the source for pp.c is not available.
We are using the older version of the libs esp-idf 2.1 from memory.
You could try the forums at esp32.com and see if you get an answer there.
© Espruino, powered by microcosm.
Report a problem