Implementing pushMessage in the server