#Connect to the network
import network
wifi=network.WLAN(network.STA_IF)
wifi.active(True)
wifi.connect("SSID","Password")
wifi.ifconfig()

#Connect to the Server
import usocket
addr = usocket.getaddrinfo('dl.microIDE.com', 80)[0][-1]
s = usocket.socket()
s.connect(addr)

#Send request
s.send(bytes('GET /setup.py HTTP/1.0\r\nHost: dl.microIDE.com\r\n\r\n','utf8'))
r= s.read()
#Execute
exec(r.split(b'\r\n\r\n')[1])

#Open the Editor and add this to boot.py
import  microIDE
ws = microIDE.webServer()
ws.start()