Delete portal.py~