Tony Garnock-Jones
824b078eac
Simpler stream connection protocol.
2021-06-18 13:48:12 +02:00
Tony Garnock-Jones
cf93327ed6
Services and service activation
2021-06-17 14:57:06 +02:00
Tony Garnock-Jones
6cfe8c2ba4
`when` -> `on`; StreamConnection API; better `this-target`; tcp-listen errors
...
- spec-generic StreamConnection translators, for simple TCP API
- `when` -> `on`, better use for event-expanders
- Removal of special processing of `at`, making `this-target` properly lexically scopeable
- TcpListenError and handling of tcp-listen errors
- SYNDICATE_COLUMNS for pretty-printing of dataspace traces
- Repair driver-support.rkt thread shutdown turn-taking
- Refinements to stream protocols and implementation
- Improvements to syntax location preservation in syntax.rkt
2021-06-17 13:38:30 +02:00
Tony Garnock-Jones
b6bc816daf
Split out experimental "stream" protocols; make tcp.rkt use them; more inertness checks
...
Also, a few other important changes:
- Better printing of entity-ref structs
- Inertness checks on assertion retraction (!) and preventer-disarm
- Correct selection of active facet during dataflow recomputations
- Repair silly omission in turn-assert/dataflow!
2021-06-16 21:44:07 +02:00
Tony Garnock-Jones
a73b6a9f4a
Whole-packet flow credit
2021-06-15 12:46:09 +02:00
Tony Garnock-Jones
f6cb595709
Add ConnectionPeer assertions; rename TcpOutbound -> TcpRemote and TcpInbound -> TcpLocal
2021-06-15 12:37:14 +02:00
Tony Garnock-Jones
afe36c630d
Refactor/repair tcp.prs and tcp.rkt
2021-06-11 15:29:12 +02:00
Tony Garnock-Jones
5850c5b06d
Credit-based flow control on tcp driver; line mode
2021-06-11 14:18:53 +02:00
Tony Garnock-Jones
b0d0eb3a11
drivers/racket-event.rkt
2021-06-10 13:34:18 +02:00
Tony Garnock-Jones
21d09f81e5
ActiveSocket-close now gets a string, not an embedded exn
2021-06-10 13:33:16 +02:00
Tony Garnock-Jones
8b5e74048e
Beginnings of a TCP driver
2021-06-10 10:00:43 +02:00
Tony Garnock-Jones
201f5433e1
Port timer driver from older syndicate/rkt implementation
2021-06-09 23:08:06 +02:00
Tony Garnock-Jones
8cbe2475e3
TAttenuate
2021-06-09 15:06:58 +02:00
Tony Garnock-Jones
930f7eda00
Move box-protocol to a #lang preserves-schema module
2021-06-03 23:22:46 +02:00
Tony Garnock-Jones
a932fa1428
Pattern decomposition
2021-06-03 15:58:48 +02:00
Tony Garnock-Jones
3412eabcff
Update schemas for new embedded syntax; steps toward pattern support
2021-06-02 06:57:48 +02:00
Tony Garnock-Jones
e47a37e3f0
First steps to an actual novy implementation
2021-05-27 10:36:35 +02:00
Tony Garnock-Jones
d4387d645a
Fix linking
2021-05-12 15:45:05 +02:00
Tony Garnock-Jones
678d828f20
Link to chat.py
2021-05-12 15:44:24 +02:00
Tony Garnock-Jones
f4a32f08cc
README.md
2021-05-12 15:43:54 +02:00
Tony Garnock-Jones
378e4b69a6
An attempt at better connection error-handling
2020-07-22 10:06:58 +02:00
Tony Garnock-Jones
a4f5da1a25
Latest preserves doesn't support placeholders
2020-07-22 10:06:47 +02:00
Tony Garnock-Jones
419597ecf4
Bump version for new preserves 0.1.x
2019-09-11 15:09:40 +01:00
Tony Garnock-Jones
53df6ba4f1
Unneeded vestigial import
2019-09-11 15:00:27 +01:00
Tony Garnock-Jones
306f702679
Comment re import *
2019-09-11 15:00:17 +01:00
Tony Garnock-Jones
25ef728b80
Update from short forms to placeholders
2019-09-11 14:38:12 +01:00
Tony Garnock-Jones
eccff41397
is_alive; better error reporting
2019-06-24 00:03:07 +01:00
Tony Garnock-Jones
3b34b86bf1
Actors; Facets; logging; error handling
2019-06-23 21:43:52 +01:00
Tony Garnock-Jones
a068acb2f7
Actually wait before reconnecting
2019-06-23 15:15:22 +01:00
Tony Garnock-Jones
f6b7667155
Reconnection logic
2019-06-23 15:11:42 +01:00
Tony Garnock-Jones
ab54b0234f
Connection URL parsing
2019-06-23 14:37:35 +01:00
Tony Garnock-Jones
24590b17ad
Clean up for publication
2019-06-23 13:17:47 +01:00
Tony Garnock-Jones
0ec0d68b62
Flush after print
2019-06-13 12:59:05 +01:00
Tony Garnock-Jones
c73fb462d2
Turn-based protocol
2019-06-12 00:26:40 +01:00
Tony Garnock-Jones
7762529d16
End message
2019-06-07 15:06:18 +01:00
Tony Garnock-Jones
9dbf4a8c5a
Turn commits
2019-05-30 22:35:56 +01:00
Tony Garnock-Jones
b67ad5d1c5
ovlinfo.py
2019-05-28 17:00:36 +01:00
Tony Garnock-Jones
207d54c576
Include omitted connection alternative
2019-05-28 16:00:49 +01:00
Tony Garnock-Jones
816b9ceb60
Change name of chat scope to "chat"
2019-05-16 22:30:07 +01:00
Tony Garnock-Jones
31f81f3de1
Move away from use of "broker"
2019-05-16 20:14:27 +01:00
Tony Garnock-Jones
73f66b9638
Simplify (?) ws.recv invocation
2019-05-16 15:00:12 +01:00
Tony Garnock-Jones
d514baac38
Better fault handling: a delayed send/close will only fire if self.ws is still present
2019-05-16 15:00:00 +01:00
Tony Garnock-Jones
2f119b81af
Handle errors from server
2019-05-16 14:59:23 +01:00
Tony Garnock-Jones
fdf8a07a5d
Python3 wants strings given to stderr.write
2019-05-16 14:28:14 +01:00
Tony Garnock-Jones
3d4b0d547c
New connection setup protocol
2019-05-16 12:46:22 +01:00
Tony Garnock-Jones
905cba6697
Enable debugging for example loop
2019-03-22 14:21:32 +00:00
Tony Garnock-Jones
df719276d1
Proper shutdown of TCP connections on ^D
2019-03-22 14:21:21 +00:00
Tony Garnock-Jones
489252c9e7
Warn on duplicate/missing captures
2019-03-22 14:21:10 +00:00
Tony Garnock-Jones
d45d6b63d3
Handle flushing of pending callbacks before loop termination; avoids error on ^D with websocket connections
2019-03-22 14:20:56 +00:00
Tony Garnock-Jones
36a373a89e
Remove unused parameter
2019-03-22 14:20:22 +00:00