Tony Garnock-Jones
|
91c59988df
|
Support HEAD and GET for local topics
|
2016-11-09 05:20:18 +13:00 |
|
Tony Garnock-Jones
|
45c30f6158
|
Copyright year
|
2016-11-04 22:33:43 -04:00 |
|
Tony Garnock-Jones
|
7d61d63dc7
|
Defaults; more use of later-than; work on upstream subscription
|
2016-10-31 22:30:22 -04:00 |
|
Tony Garnock-Jones
|
a445c6860a
|
Cope with network error when considering redirection
|
2016-10-31 22:29:32 -04:00 |
|
Tony Garnock-Jones
|
98b62a5bc8
|
parse-link-headers (crude)
|
2016-10-31 22:29:06 -04:00 |
|
Tony Garnock-Jones
|
c37aa8e786
|
poke.rkt: unbounded lease
|
2016-10-31 22:28:20 -04:00 |
|
Tony Garnock-Jones
|
38e6510b52
|
Add upstream polling
|
2016-10-31 19:34:58 -04:00 |
|
Tony Garnock-Jones
|
9a98bcac0d
|
Steps toward remote topics
|
2016-10-31 17:49:25 -04:00 |
|
Tony Garnock-Jones
|
06aab927bb
|
optionally follow redirects in `web-request!`
|
2016-10-31 17:49:06 -04:00 |
|
Tony Garnock-Jones
|
1dec02fd3d
|
unsubscribe in poke.rkt
|
2016-10-31 17:48:33 -04:00 |
|
Tony Garnock-Jones
|
223033f664
|
Steps toward remote topics
|
2016-10-31 14:49:33 -04:00 |
|
Tony Garnock-Jones
|
d9866843f2
|
Flesh out server significantly; stub test utility
|
2016-10-30 20:31:29 -04:00 |
|
Tony Garnock-Jones
|
23a923ad77
|
Server/client split; WIP
|
2016-10-29 07:16:29 -04:00 |
|
Tony Garnock-Jones
|
f16b0884f0
|
Use with-handlers in hub actor instead of actor* for fault isolation
|
2016-10-25 17:06:45 -04:00 |
|
Tony Garnock-Jones
|
f2f8fda62e
|
Start on implementing W3C PubSub per 20 Oct 2016 draft
|
2016-10-25 12:36:09 -04:00 |
|
Tony Garnock-Jones
|
ea40d44579
|
Initial commit
|
2015-09-30 12:17:50 -04:00 |