Package | Description |
---|---|
org.ballerinalang.composer.service.workspace.launcher |
Modifier and Type | Method and Description |
---|---|
void |
LaunchServer.pushMessageToClient(LaunchSession launchSession,
MessageDTO status)
Push message to client.
|
void |
LaunchManager.pushMessageToClient(LaunchSession session,
MessageDTO status)
Push message to client.
|
Copyright © 2017 WSO2. All rights reserved.