| 摘要 |
Provided are an information processing device, a destination information updating method, and a destination information updating program that are used for a push-type information distribution system that updates destination information without impairing real-time performance while ensuring the security of the push-type information distribution system. At a push server, which transmits a push message to a terminal in response to a push message transmission request notification from a web server, of a push-type information distribution system, when updating destination information, including the identifier of an application installed on the terminal, the push server holds unupdated and updated destination information, accepts a push message transmission request notification that specifies the unupdated destination information, converts the unupdated destination information into the updated destination information, and transmits the resulting push message to the terminal. |
