2026-01-28 20:13:28 +11:00
|
|
|
def request_Get(string url) string {}
|
|
|
|
|
def request_Post(string url, string data) string {}
|
2026-01-28 21:11:54 +11:00
|
|
|
def ws_Connect(string url) int {}
|
|
|
|
|
def ws_Send(int connId, string data) int {}
|
|
|
|
|
def ws_SendBinary(int connId, string data) int {}
|
2026-01-29 09:07:43 +11:00
|
|
|
def ws_Receive(int connId) string {}
|
|
|
|
|
def ws_ReceiveTimeout(int connId, int timeout) string {}
|
2026-01-28 21:11:54 +11:00
|
|
|
def ws_Close(int connId) bool {}
|
2026-01-28 20:13:28 +11:00
|
|
|
|
|
|
|
|
ground {
|
|
|
|
|
extern "request"
|
|
|
|
|
}
|