Browse Source

Fix error update websocket to change user (#2744)

pull/2747/head
Vladyslav 6 years ago
committed by GitHub
parent
commit
7a87e6c16d
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 6
      ui-ngx/src/app/core/ws/telemetry-websocket.service.ts

6
ui-ngx/src/app/core/ws/telemetry-websocket.service.ts

@ -70,10 +70,8 @@ export class TelemetryWebsocketService implements TelemetryService {
private ngZone: NgZone, private ngZone: NgZone,
@Inject(WINDOW) private window: Window) { @Inject(WINDOW) private window: Window) {
this.store.pipe(select(selectIsAuthenticated)).subscribe( this.store.pipe(select(selectIsAuthenticated)).subscribe(
(authenticated: boolean) => { () => {
if (!authenticated) { this.reset(true);
this.reset(true);
}
} }
); );

Loading…
Cancel
Save