Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

WebSocket: On_Close called when user explicitly closes a web socket via AWS.Net.WebSocket.Registry.Close

Aperta
#371 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
3/5
Tempo stimato
1-2 giorni
Idoneità per principianti
42/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Ferma

Direzione di ricerca

Inizia con il comportamento documentato di AWS.Net.WebSocket.Close, quindi esamina i due punti di ingresso di AWS.Net.WebSocket.Registry.Close: l’overload Object'Class e l’overload Recipient. Confronta la loro gestione di On_Close e Socket.Shutdown con il file allegato aws-net-websocket-registry.adb.patch.txt; il lavoro è completato quando la chiusura esplicita non invoca più On_Close e il diverso comportamento di Shutdown viene risolto o chiaramente giustificato.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

Description
In AWS.Net.WebSocket.Close implementation, it is documented that

      --  When the user explicitly closes a web socket, we do not call
      --  On_Close (this is only called when the other end closes the socket)

However, when the user explicitly closes a web socket via AWS.Net.WebSocket.Registry.Close, On_Close is called

Patch
aws-net-websocket-registry.adb.patch.txt

Different behavior in AWS.Net.WebSocket.Registry.Close implementations
On another note, calling AWS.Net.WebSocket.Registry.Close(Socket : in out Object'Class; internally calls Socket.Shutdown while calling AWS.Net.WebSocket.Registry.Close(To : Recipient; does not. Any rational on why having different behaviour ?

Lingua principale
Ada
Stelle
163
Fork
46
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di AdaCore/aws

Tutte le issue di AdaCore/aws

Issue simili

Altre issue su Backend & API Design

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.