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.
@Wilberforce started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
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.