Commit Graph

59 Commits

Author SHA1 Message Date
Tony Garnock-Jones 19bebc9881 Handle IRC QUIT 2017-01-07 01:46:09 -05:00
Tony Garnock-Jones eb4a228c73 Crude IRC driver and example. 2017-01-07 01:14:14 -05:00
Tony Garnock-Jones c019a61c18 Improvements in error-handling for websocket connections re: deadlock, closed ports etc. 2016-12-06 05:55:00 +13:00
Tony Garnock-Jones 64cfce2472 Work around limitations in the way the OS supports filesystem-change-evt 2016-12-06 05:54:17 +13:00
Tony Garnock-Jones 4ee234f118 Remove egregious lack of support for reading directory contents in filesystem driver 2016-12-04 17:33:12 +13:00
Tony Garnock-Jones 78cb6f0c02 Add #:hook to spawn-configuration 2016-11-29 18:22:00 +13:00
Tony Garnock-Jones ad2874f463 `web-request-header-websocket-upgrade?` 2016-11-26 11:25:44 +13:00
Tony Garnock-Jones 7b5b866a6d web-request-peer-details 2016-11-26 11:08:45 +13:00
Tony Garnock-Jones 16d9dd27c9 ... Oops. 2016-11-26 10:02:59 +13:00
Tony Garnock-Jones 990ae8ea9a Oops. 2016-11-26 09:59:24 +13:00
Tony Garnock-Jones 0a585d7842 More uniform treatment of resource-path functions 2016-11-26 09:54:26 +13:00
Tony Garnock-Jones 4af472f7ff Log smtp-account startup and shutdown 2016-11-24 10:38:36 +13:00
Tony Garnock-Jones a3335800f6 Make immediate-query able to yield multiple values 2016-11-24 10:36:38 +13:00
Tony Garnock-Jones f201bea5c6 immediate-query 2016-11-23 22:11:35 +13:00
Tony Garnock-Jones f0f29007df Very basic inbound cookie support 2016-11-23 22:05:49 +13:00
Tony Garnock-Jones 257c0bf628 #:headers for `web-redirect!`. 2016-11-23 17:21:01 +13:00
Tony Garnock-Jones 0d34e3280e web-redirect/temporary! -> web-redirect! 2016-11-23 15:39:11 +13:00
Tony Garnock-Jones 3ce8bc380b web-redirect/temporary! 2016-11-23 15:32:44 +13:00
Tony Garnock-Jones 4b99b629df syndicate/drivers/config 2016-11-23 13:49:24 +13:00
Tony Garnock-Jones 97a843ccec SMTP driver 2016-11-23 13:42:10 +13:00
Tony Garnock-Jones c302e35024 Properly shut down tcp-listener 2016-11-22 11:45:53 +13:00
Tony Garnock-Jones 0102a7d1cd append-url-path 2016-11-22 11:08:11 +13:00
Tony Garnock-Jones 4d6a2986d5 web-response-successful? 2016-11-22 09:16:08 +13:00
Tony Garnock-Jones c8b7be22cc Use SSL on outbound HTTPS connections properly 2016-11-21 17:38:55 +13:00
Tony Garnock-Jones 9d34ffea4f Log websocket connection starts 2016-11-21 17:38:41 +13:00
Tony Garnock-Jones b2c795c57a Sleep utility 2016-11-21 11:51:48 +13:00
Tony Garnock-Jones a7a2a5c492 Log HTTP server startup and shutdown 2016-11-21 10:57:43 +13:00
Tony Garnock-Jones c6ca757a7e Useful web utilities 2016-11-21 10:57:35 +13:00
Tony Garnock-Jones 08f1e7506b filesystem driver 2016-11-20 22:33:07 +13:00
Tony Garnock-Jones bc346ff38a Use logger named syndicate/drivers/web 2016-11-20 18:18:43 +13:00
Tony Garnock-Jones 594bb3989b Log web requests 2016-11-20 18:11:08 +13:00
Tony Garnock-Jones 15504cccab timestate 2016-10-31 17:36:59 -04:00
Tony Garnock-Jones 4a39a03a0a Log failures of outbound web requests 2016-10-30 20:30:58 -04:00
Tony Garnock-Jones c9eddfa0b7 web-response-header-code-type 2016-10-30 20:30:49 -04:00
Tony Garnock-Jones acd9dde2b8 Remove mistaken require 2016-10-25 12:37:35 -04:00
Tony Garnock-Jones cd83b5f5d8 Minor fixes 2016-10-24 22:01:17 -04:00
Tony Garnock-Jones 7be8eb6d60 Oops -- I had forgotten udp-handle support in the UDP driver. 2016-09-13 13:21:04 -04:00
Tony Garnock-Jones 9ee7e677ad Give names to udp-driver and udp-socket processes 2016-09-06 16:46:14 +01:00
Tony Garnock-Jones 0bc775a89f First commit moving from (actor (react ...)) to (actor ...) 2016-08-24 17:35:38 +01:00
Tony Garnock-Jones 68ba2f74a6 Split dataspaces in to relay and mux sublayers.
This is a major change to the previous design, and also a change with
respect to the semantics in the ESOP 2016 paper. All the complexity of
echo-cancellation is stripped out of the core dataspace semantics, and
the relaying protocol is changed from one constructor, `at-meta`, to
two, `inbound` and `outbound`. The relay connecting a dataspace to its
container is now completely symmetric with the contained actors: it
initially asserts interest in what it is to relay, just like any other
actor would. Dataspaces no longer treat relaying specially.

This commit has updated all (I think) of the non-graphical examples. The
graphical code remains to be done in a following commit.
2016-07-30 14:49:05 -04:00
Tony Garnock-Jones 8dba9a66c6 Line reader for TCP 2016-07-25 21:31:12 -04:00
Tony Garnock-Jones 819ff13835 Expanders for events and assertion-patterns.
Introduced expanders for events (define-event-expander) and for
assertion-patterns (define-assertion-expander).

Introduced convenience syntax and utilities in web.rkt for working
with web requests.

Support nested bindings in assertion-patterns for message events
(only).
2016-07-23 14:57:26 -04:00
Tony Garnock-Jones 796acbeea2 Defaults for web-response-header 2016-07-23 11:40:18 -04:00
Tony Garnock-Jones b6e863fa79 Support for using struct-defaults in web.rkt, plus a simple default 2016-07-23 11:28:46 -04:00
Tony Garnock-Jones d36ccbb0c2 New web driver 2016-07-16 16:20:57 -04:00
Tony Garnock-Jones 0b06bcf1c4 Introduce syndicate module *activation*.
Make #lang syndicate module-begin gather boot actions into a
syndicate-main submodule, and for each such module, add a main
submodule that calls run-ground with the syndicate-main boot actions.

This lets us write syndicate *libraries* that comprise both
data-structures, functions, and Syndicate services.
2016-07-12 15:05:56 -04:00
Tony Garnock-Jones cd94df3cab Report non-network-failure exceptions more clearly 2016-06-06 10:36:00 -04:00
Tony Garnock-Jones f6ed330a0d UDP multicast support 2016-05-27 19:43:35 -04:00
Tony Garnock-Jones 4d905e9f3f Correct typo in documentation 2016-05-27 18:45:41 -04:00
Tony Garnock-Jones 81f9a0f0fe Split host and port in websocket-remote-client and broker-scope. 2016-05-15 06:56:29 -04:00