RESTful server for push update