Update debugger.py