Maybe you could try just disconnecting and reconnecting the Web IDE? Sometimes if the Web IDE hasn't been able to communicate with the Espruino Board at startup it can't figure out which board is connected, so doesn't know which modules are installed (net and NetworkJS are built into Espruino boards).
In fact, the Web IDE might be giving you warnings, but the code that is uploading might be working file?
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.
It sounds like @dh. does have a Pico?
Maybe you could try just disconnecting and reconnecting the Web IDE? Sometimes if the Web IDE hasn't been able to communicate with the Espruino Board at startup it can't figure out which board is connected, so doesn't know which modules are installed (
net
andNetworkJS
are built into Espruino boards).In fact, the Web IDE might be giving you warnings, but the code that is uploading might be working file?