MicroPython web server on a Pico W: switch the LED

# A web page that switches the Pico W's LED: join the network, then serve
# port 80. /on and /off switch the LED (Pin("LED"), on the radio chip);
# every page has links to both. Open the Web panel to visit the board.
import network
import socket
import time
from machine import Pin

led = Pin("LED", Pin.OUT, value=0)
wlan = network.WLAN(network.STA_IF)
wlan.active(True)
wlan.connect("Mokxi-Lab", "breadboard")
while not wlan.isconnected():
    time.sleep_ms(250)
print("Serving on http://%s/" % wlan.ifconfig()[0])

PAGE = """<!DOCTYPE html><html><body><h1>Pico W LED</h1>
<p>The LED is %s.</p><p><a href="/on">ON</a> <a href="/off">OFF</a></p></body></html>"""

server = socket.socket()
server.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
server.bind(("0.0.0.0", 80))
server.listen(1)

while True:
    client, _ = server.accept()
    request = client.recv(1024).decode()
    path = request.split(" ")[1] if " " in request else "/"
    if path == "/on":
        led.value(1)
    elif path == "/off":
        led.value(0)
    print("GET", path, "LED", "on" if led.value() else "off")
    client.send("HTTP/1.0 200 OK\r\nContent-Type: text/html\r\n\r\n")
    client.send(PAGE % ("on" if led.value() else "off"))
    client.close()