Server part for pushing messages to mobile clients