full
Toggle table of contents
0.1.0
release
Target filter
release
Switch theme
Search in API
Skip to content
full
full
/
io.devconsole
/
DevConsole
/
recordPush
record
Push
@
JvmStatic
fun
recordPush
(
input
:
PushInput
)
:
PushEvent
Called directly from the host's own push receiver. Never attempts provider delivery itself.