oc_request_quit #55
Loading…
Reference in New Issue
No description provided.
Delete Branch "oc_request_quit"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Exposes
oc_request_quitfunction andoc_on_terminatehandler to orca runtime. Includes a demo/test of the feature in the pong sample.I think you can expose
oc_request_quit()directly without using a forwardingoc_request_quit_stub?6837a1013dtofcb47f090eCloses #6