Delete PortalManager.py~