Added code for push notifications (untested)