Update devsocket4.py