2019-11-23 21:45:33 +01:00
|
|
|
endpoint ProtocolServer = 9
|
|
|
|
{
|
|
|
|
// Basic protocol
|
2019-12-06 18:39:59 +01:00
|
|
|
Greet() => (i32 client_id)
|
2019-11-23 21:45:33 +01:00
|
|
|
|
2019-11-23 22:11:44 +01:00
|
|
|
// FIXME: It would be nice if the kernel provided a way to avoid this
|
2020-02-28 11:45:19 +01:00
|
|
|
DisownSharedBuffer(i32 shbuf_id) => ()
|
2019-11-23 22:11:44 +01:00
|
|
|
|
2019-11-23 21:45:33 +01:00
|
|
|
// Test if a specific protocol is supported, e.g "http"
|
|
|
|
IsSupportedProtocol(String protocol) => (bool supported)
|
|
|
|
|
|
|
|
// Download API
|
2020-05-21 12:27:42 +02:00
|
|
|
StartDownload(String url, IPC::Dictionary request_headers) => (i32 download_id)
|
2019-11-23 21:45:33 +01:00
|
|
|
StopDownload(i32 download_id) => (bool success)
|
|
|
|
}
|