Timeout much shorter when server is paused to reduce update lag

This commit is contained in:
PeekabooSteam
2023-10-02 07:15:00 +01:00
parent 3db5202cdf
commit a82c033da0
2 changed files with 40 additions and 27 deletions

View File

@@ -1,36 +1,27 @@
import { getApp } from "..";
import { Panel } from "./panel";
export class ConnectionStatusPanel extends Panel {
#previousMissionElapsedTime:number = 0;
constructor(ID: string) {
super( ID );
}
update(connected: boolean) {
if ( connected ) {
const missionElapsedTime = getApp().getMissionManager().getDateAndTime().elapsedTime;
if ( missionElapsedTime === this.#previousMissionElapsedTime ) {
this.getElement().toggleAttribute( "data-is-connected", false );
this.getElement().toggleAttribute( "data-is-paused", true );
} else {
this.getElement().toggleAttribute( "data-is-connected", true );
this.getElement().toggleAttribute( "data-is-paused", false );
}
this.#previousMissionElapsedTime = missionElapsedTime;
} else {
this.getElement().toggleAttribute( "data-is-connected", false );
}
showDisconnected() {
this.getElement().toggleAttribute( "data-is-connected", false );
this.getElement().toggleAttribute( "data-is-paused", false );
}
showConnected() {
this.getElement().toggleAttribute( "data-is-connected", true );
this.getElement().toggleAttribute( "data-is-paused", false );
}
showServerPaused() {
this.getElement().toggleAttribute( "data-is-connected", false );
this.getElement().toggleAttribute( "data-is-paused", true );
}
}