mirror of
https://github.com/urbit/shrub.git
synced 2024-12-29 23:23:52 +03:00
208d8cebf9
Splits herm and the webterm interface out into their own directories for separate distribution. Webterm glob pending.
88 lines
1.8 KiB
TypeScript
88 lines
1.8 KiB
TypeScript
export default class Subscription {
|
|
store: any;
|
|
api: any;
|
|
channel: any;
|
|
firstRoundComplete: boolean;
|
|
constructor(store, api, channel) {
|
|
this.store = store;
|
|
this.api = api;
|
|
this.channel = channel;
|
|
|
|
this.channel.setOnChannelError(this.onChannelError.bind(this));
|
|
this.firstRoundComplete = false;
|
|
}
|
|
|
|
start() {
|
|
if (this.api.ship) {
|
|
this.firstRound();
|
|
} else {
|
|
console.error('~~~ ERROR: Must set api.ship before operation ~~~');
|
|
}
|
|
this.setupSlog();
|
|
}
|
|
|
|
setupSlog() {
|
|
let available = false;
|
|
const slog = new EventSource('/~_~/slog', { withCredentials: true });
|
|
|
|
slog.onopen = (e) => {
|
|
console.log('slog: opened stream');
|
|
available = true;
|
|
};
|
|
|
|
slog.onmessage = (e) => {
|
|
this.handleEvent({ slog: e.data });
|
|
};
|
|
|
|
slog.onerror = (e) => {
|
|
console.error('slog: eventsource error:', e);
|
|
if (available) {
|
|
window.setTimeout(() => {
|
|
if (slog.readyState !== EventSource.CLOSED)
|
|
return;
|
|
console.log('slog: reconnecting...');
|
|
this.setupSlog();
|
|
}, 10000);
|
|
}
|
|
};
|
|
}
|
|
|
|
delete() {
|
|
this.channel.delete();
|
|
}
|
|
|
|
onChannelError(err) {
|
|
console.error('event source error: ', err);
|
|
console.log('initiating new channel');
|
|
this.firstRoundComplete = false;
|
|
setTimeout(() => {
|
|
this.store.handleEvent({
|
|
data: { clear : true }
|
|
});
|
|
|
|
this.start();
|
|
}, 2000);
|
|
}
|
|
|
|
subscribe(path, app) {
|
|
this.api.bind(path, 'PUT', this.api.ship, app,
|
|
this.handleEvent.bind(this),
|
|
(err) => {
|
|
console.log(err);
|
|
this.subscribe(path, app);
|
|
},
|
|
() => {
|
|
this.subscribe(path, app);
|
|
});
|
|
}
|
|
|
|
firstRound() {
|
|
this.subscribe('/session/', 'herm');
|
|
}
|
|
|
|
handleEvent(diff) {
|
|
this.store.handleEvent(diff);
|
|
}
|
|
}
|
|
|