ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-11-10 10:05:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add support for POST delete channel requests using navigator.sendBeacon

Browse Source
This commit is contained in:
Logan Allen 2019-07-02 12:22:13 -07:00
parent b40b20a88d
commit f55fa3bd2f
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkg/arvo/sys/vane/eyre.hoon
View File

@ -623,10 +623,10 @@
//
delete() {
var id = this.nextId();
this.sendJSONToChannel({
navigator.sendBeacon(this.channelURL(), JSON.stringify([{
"id": id,
"action": "delete"
}, false);
}]));
}
// unsubscribe to a specific subscription
@ -642,7 +642,7 @@
// sends a JSON command command to the server.
//
sendJSONToChannel(j, connectAgain = true) {
sendJSONToChannel(j) {
var req = new XMLHttpRequest();
req.open("PUT", this.channelURL());
req.setRequestHeader("Content-Type", "application/json");
@ -663,9 +663,7 @@
this.lastEventId = this.lastAcknowledgedEventId;
}
if (connectAgain) {
this.connectIfDisconnected();
}
this.connectIfDisconnected();
}
// connects to the EventSource if we are not currently connected
@ -1109,6 +1107,9 @@
::
?: =('GET' method.request)
(on-get-request channel-id request)
?: =('POST' method.request)
:: POST methods are used solely for deleting channels
(on-put-request channel-id request)
::
~& %session-not-a-put
[~ state]