I have a question regarding the push notification service. The Marmalade integration allows an app to send push notifications to other users. However, I did not find a mechanism in App42 that allows the receiving side to react to the push notification.
Neither Marmalade, nor App42, seem to offer a way to react to notifications for Android. In the examples I found, the receiving side handles notifications on the specific operating system level (Android, IOS). Marmalade also offers an s3e extension for handling IOS notifications, but not for Android.
The only way to react to notifications for Android is to write an Android EDK extension for Marmalade by myself. Is that correct?