Extract strings from server_dev.py