REST API with active push notifications from server to client
问题 Problem description i am working on a Xamarin application that consumes a REST API written in Python flask. The Xamarin application offers virtual shopping lists where user can collaborate on buying stuff they have on a shared list. To improve the user experience, i want to be able to actively notify the user about finished items on the list. Possible solutions: Synchronous API polling from client side Notifications are stored by the API in a relational database and have a flag indicating if