Skip to content
This repository has been archived by the owner on Mar 27, 2024. It is now read-only.

Clean up connections after websocket close #3352

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Clean up connections after websocket close #3352

wants to merge 1 commit into from

Commits on Aug 28, 2022

  1. Clean up connections after websocket close 

    Make sure we clean up connections by just going through the map and
cleaning all the verkeys that match the connection. This is a suboptimal
solution, but a connection close is not something happennig often.

Signed-off-by: Boran Car <[email protected]>
    @borancar
    borancar committed Aug 28, 2022
    Configuration menu
    Copy the full SHA
    ffa35a9 View commit details
    Browse the repository at this point in the history