urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-02 01:25:55 +03:00
Code Issues Packages Projects Releases Wiki Activity

webdojo: remove "no slogs" notification

Browse Source
This commit is contained in:
fang 2020-09-25 15:13:45 +02:00 committed by GitHub
parent 932adb11b0
commit b12f89228b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkg/interface/src/views/apps/dojo/subscription.js
View File

@ -19,11 +19,9 @@ export default class Subscription {
setupSlog() {
const slog = new EventSource('/~/slog', { withCredentials: true });
let available = false;
slog.onopen = e => {
console.log('slog: opened stream');
available = true;
}
slog.onmessage = e => {
@ -32,17 +30,11 @@ export default class Subscription {
slog.onerror = e => {
console.error('slog: eventsource error:', e);
if (!available) {
this.handleEvent({ txt:
'landscape: no printf stream. bad connection or old binary.'
});
} else {
window.setTimeout(() => {
if (slog.readyState !== EventSource.CLOSED) return;
console.log('slog: reconnecting...');
this.setupSlog();
}, 10000);
}
window.setTimeout(() => {
if (slog.readyState !== EventSource.CLOSED) return;
console.log('slog: reconnecting...');
this.setupSlog();
}, 10000);
}
}