mysql.py modified