Merge branch 'io' into merge-upstream

This commit is contained in:
riku6460 2023-10-10 20:58:57 +09:00
commit 2f437e3924
No known key found for this signature in database
GPG key ID: 27414FA27DB94CF6
11 changed files with 171 additions and 24 deletions

View file

@ -24,12 +24,17 @@ import { defaultStore } from '@/store.js';
const zIndex = os.claimZIndex('high');
let hasDisconnected = $ref(false);
let timeoutId = $ref<number>();
function onDisconnected() {
hasDisconnected = true;
window.clearTimeout(timeoutId);
timeoutId = window.setTimeout(() => {
hasDisconnected = true;
}, 1000 * 10);
}
function resetDisconnected() {
window.clearTimeout(timeoutId);
hasDisconnected = false;
}
@ -37,9 +42,12 @@ function reload() {
location.reload();
}
useStream().on('_connected_', resetDisconnected);
useStream().on('_disconnected_', onDisconnected);
onUnmounted(() => {
window.clearTimeout(timeoutId);
useStream().off('_connected_', resetDisconnected);
useStream().off('_disconnected_', onDisconnected);
});
</script>