Code

Frontend ~ close button#534

Code

Merged

matejpavlovic merged 2 commits intoconsensus-shipyard:visualizationconsensus-shipyard/mir:visualizationfrom andreaj00:reactFrontend_closeButtonandreaj00/mirVisualization:reactFrontend_closeButtonCopy head branch name to clipboardFeb 16, 2024

+30

Commits

Commits on Feb 16, 2024

• Added 'close connection' button to close the connection to the specific websocket

  andreaj00

  committed
  bd8b9ee

  Copy full SHA for bd8b9ee

• Decline any current Log when clicking the 'close connection' button

  andreaj00

  committed
  d17bce6

  Copy full SHA for d17bce6