Support sending to userIDs in NodePushHandler.class.php
Implement sending to specific users in server