manager.py: added experimental shutdown() method