summarylogtreecommitdiffstats
path: root/patch-aws-net-websocket-registry.adb
diff options
context:
space:
mode:
authorRod Kay2022-05-17 17:11:45 +1000
committerRod Kay2022-05-17 17:11:45 +1000
commit9bd3c8d5ddc29621bd5b904c2a732881a5715b57 (patch)
tree57d910c696e700fb3e6ac32c6bf69e77cc1d19c5 /patch-aws-net-websocket-registry.adb
parent91c80fc34dc5509cb9f2bbcac973c5f03368ee17 (diff)
downloadaur-9bd3c8d5ddc29621bd5b904c2a732881a5715b57.tar.gz
Update to version 2022.
Diffstat (limited to 'patch-aws-net-websocket-registry.adb')
-rw-r--r--patch-aws-net-websocket-registry.adb10
1 files changed, 10 insertions, 0 deletions
diff --git a/patch-aws-net-websocket-registry.adb b/patch-aws-net-websocket-registry.adb
new file mode 100644
index 000000000000..044d1ef987c4
--- /dev/null
+++ b/patch-aws-net-websocket-registry.adb
@@ -0,0 +1,10 @@
+--- ./src/core/aws-net-websocket-registry.adb 2021-10-07 03:24:29.000000000 +1100
++++ ./src/core/aws-net-websocket-registry.adb-new 2022-05-17 16:39:54.204553977 +1000
+@@ -46,7 +46,6 @@
+ with AWS.Net.Memory;
+ with AWS.Net.Poll_Events;
+ with AWS.Net.Std;
+-with AWS.Net.WebSocket;
+ with AWS.Utils;
+
+ package body AWS.Net.WebSocket.Registry is