wolfSSL/wolfssl
1
0
Fork 1
mirror of https://github.com/wolfSSL/wolfssl.git synced 2025-07-31 11:17:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix formatting issues and remove unused variable

Browse Source
This commit is contained in:
Daly Brown
2024-04-04 16:06:19 -04:00
parent be72849d48
commit 63547d954a
3 changed files with 2 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
wrapper/Ada/spark_sockets.adb
View File

@@ -43,7 +43,7 @@ package body SPARK_Sockets is
GNAT.Sockets.Create_Socket (S, Family, Mode); GNAT.Sockets.Create_Socket (S, Family, Mode);
Socket := (Exists => True, Socket => S); Socket := (Exists => True, Socket => S);
exception exception
when E : others => when others =>
Socket := (Exists => False); Socket := (Exists => False);
end Create_Socket; end Create_Socket;

1
wrapper/Ada/tls_client.adb
View File

@@ -271,7 +271,6 @@ package body Tls_Client with SPARK_Mode is
end if; end if;
if DTLS then if DTLS then
-- Set DTLS peer.
Result := WolfSSL.DTLS_Set_Peer(Ssl => Ssl, Result := WolfSSL.DTLS_Set_Peer(Ssl => Ssl,
Address => A); Address => A);
if Result /= Success then if Result /= Success then

6
wrapper/Ada/tls_server.adb
View File

@@ -347,11 +347,7 @@ package body Tls_Server with SPARK_Mode is
Result := WolfSSL.Shutdown (Ssl); Result := WolfSSL.Shutdown (Ssl);
if DTLS then exit when DTLS or Result = Success;
exit;
end if;
exit when Result = Success;
delay 0.001; -- Delay is expressed in seconds. delay 0.001; -- Delay is expressed in seconds.
end loop; end loop;