Improved push notification manager