guardicore / guardicore/monkey

Use websockets to update the map

Open
#1,956 0 comments 0 reactions 0 assignees View on GitHub
Complexity: High Enhancement Impact: High UI
Dominant language
Python
Stars
7.1k
Forks
830
PR merge metrics
No merged PRs in 30d

Description

Currently, the frontend polls the backend every 5 seconds for the data it needs to update the map. This makes the UI feel rather unresponsive. We should use a websocket to allow the backend to push status updates to the frontend in real time.

An alternate solution would be to increase the poll frequency, which might be good enough for the short term.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.