AdaCore / AdaCore/aws

WebSocket client misses messages sent right after connection

Open
#389 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Ada
Stars
162
Forks
45
PR merge metrics
No merged PRs in 30d

Description

It seems that AWS's WebSocket client API misses messages that get sent immediately after connection roughly 8 out of 10 times.

I've tested this by opening a connection to wss://echo.websocket.org and waiting for a message, which sometimes comes and sometimes doesn't. Testing with an online WebSocket tester tool gets the message every time.

{661C5A4F-23B8-411E-B248-A822760CD556}

The code for the main program above is as follows:

with Ada.Text_IO; use Ada.Text_IO;
with AWS;
with AWS.Net.WebSocket;
with AWS.Net.SSL;
procedure Main is
	type MySocket is new AWS.Net.WebSocket.Object with null record;
	overriding procedure On_Message(Self : in out MySocket; Str : String) is
	begin
		Ada.Text_IO.Put_Line ("++ Got message '" & Str & "'");
	end On_Message;

	Socket : MySocket;
begin
	AWS.Net.SSL.Initialize_Default_Config(Security_Mode => AWS.Net.SSL.TLS_Client, Client_Certificate => "", Check_Certificate => True);
	AWS.Net.WebSocket.Connect(Socket,"wss://echo.websocket.org");
	while Socket.Poll(Timeout => 2.0) loop
		null;
	end loop;
	Socket.Close("");
end Main;

For reference, here's what an online WebSocket test tool shows after connecting and disconnecting a few times:
{3907D0FE-977C-49BF-BBE2-1992295B7A4D}

Unfortunately, some APIs (e.g. Discord's Gateway API) rely on the server sending a message immediately after connecting, preventing these APIs from being used with AWS.

Also, in case it matters, I tested this from a freshly-built AWS from the master branch with SOCKET=openssl, on Debian Testing running under WSL2 (so kernel 5.15.167.4-microsoft-standard-WSL2).

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Reproduce the problem with the provided Main program, focusing on AWS.Net.WebSocket.Connect and the Poll loop. Compare runs against wss://echo.websocket.org and verify whether messages sent immediately after connection are consistently delivered. Done means the client receives those early server messages reliably, including APIs that send data immediately after connecting.

Written by the indexing model from the issue text.

Assessment

Domain
networking
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
42/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.