| .. |
|
Makefile.RTEMS
|
Preserve timestamps when copying files during build
|
2015-08-21 05:30:22 -07:00 |
|
Makefile.VMS
|
…
|
|
|
Makefile.am
|
Make install paths more configurable and add GNAT project file
|
2020-06-18 15:07:01 +02:00 |
|
adasockets-config
|
…
|
|
|
adasockets.gpr.in
|
Make install paths more configurable and add GNAT project file
|
2020-06-18 15:07:01 +02:00 |
|
adasockets.pc.in
|
Make install paths more configurable and add GNAT project file
|
2020-06-18 15:07:01 +02:00 |
|
constants.c
|
Add functions to retrieve incoming and outgoing queue sizes on Linux
|
2014-08-02 19:45:36 +02:00 |
|
constants.sh
|
Ignore SIGPIPE on socket disconnections
|
2015-12-02 14:39:40 +01:00 |
|
header.txt
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-link.ads.in
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-link.ads.vms
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-multicast.adb
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-multicast.ads
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-naming.adb
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-naming.ads
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-stream_io.adb
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-stream_io.ads
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-thin.adb.vms
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-thin.adb.win32
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-thin.ads.unix
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-thin.ads.vms
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-thin.ads.win32
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-types.ads.in
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-utils.adb
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-utils.ads
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-vms_link.ads
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-windows_link.adb
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets-windows_link.ads
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets.adb
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
sockets.ads
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
|
split.adb
|
Update headers
|
2023-06-18 13:57:26 +02:00 |
ef1f093517