* Don't access $_SESSION directly for Auth * fix style * add property annotations
* webui: allow deletion of dead poller nodes * improve messages