Tony Garnock-Jones
2f80a54ffe
Subscription.count
2012-05-05 10:30:31 -04:00
Tony Garnock-Jones
b43fe2974c
Switch to mutable backlog/waiter queues.
2012-05-05 09:47:20 -04:00
Tony Garnock-Jones
ee5a079010
Switch back to linked-list Squeue implementation. The speed benefit
...
was marginal (maybe measurement error), and the penalty for the
fixed-size queue buffers in the array implementation might become a
problem when large numbers of queues are created.
2012-05-03 23:02:47 -04:00
Tony Garnock-Jones
3e01860b35
Remove currently-nonfunctional Help menu
2012-05-03 22:45:12 -04:00
Tony Garnock-Jones
af8f638871
Fix copyright and licensing info
2012-05-03 22:08:55 -04:00
Tony Garnock-Jones
7c311b8970
Better About dialog
2012-05-03 22:08:47 -04:00
Tony Garnock-Jones
5ca8251f09
Sexp.assoc utility
2012-05-03 20:05:03 -04:00
Tony Garnock-Jones
6a2d487de3
Factor out _locked_pop.
2012-05-03 10:23:04 -04:00
Tony Garnock-Jones
7aba3d5659
Array-based shared-queues give a small performance increase on Linux, based on very rough testing
2012-05-03 10:22:54 -04:00
Tony Garnock-Jones
ca3bc78501
Noddy speed test for Squeue; alternative array impl
2012-05-03 10:08:30 -04:00
Tony Garnock-Jones
784304ed5d
Omit commented reference to speedtest
2012-05-03 10:06:28 -04:00
Tony Garnock-Jones
225ad7e92e
Update rendered HTML
2012-05-02 11:13:21 -04:00
Tony Garnock-Jones
717be1f687
Clearer final milestone
2012-05-02 11:11:38 -04:00
Tony Garnock-Jones
114a6e3d3f
Correct URL
2012-05-02 11:11:27 -04:00
Tony Garnock-Jones
62699b9b43
Rename files etc.
2012-05-01 17:51:56 -04:00
Tony Garnock-Jones
7ea611597c
Rename ocamlmsg to hop
2012-05-01 17:38:53 -04:00
Tony Garnock-Jones
c059bcbfa4
Rename in ML code.
2012-05-01 17:36:38 -04:00
Tony Garnock-Jones
477ba1eef5
Rename in web UI
2012-05-01 17:32:01 -04:00
Tony Garnock-Jones
aa0f38611d
Rename Ocamlmsg.app to Hop Server.app.
2012-05-01 17:28:02 -04:00
Tony Garnock-Jones
460685c0ca
Include GPL3 license text.
2012-05-01 16:27:01 -04:00
Tony Garnock-Jones
3dcdf4308f
Build ocamlmsg if it isn't already built
2012-05-01 16:11:33 -04:00
Tony Garnock-Jones
83da5ad0f1
Close app on window close
2012-05-01 16:09:43 -04:00
Tony Garnock-Jones
d26233998c
Correct name in app menu
2012-05-01 16:09:32 -04:00
Tony Garnock-Jones
9b6c327ddf
Better about page.
2012-05-01 15:41:56 -04:00
Tony Garnock-Jones
a18fecb27b
Copy over server into finished product.
2012-05-01 15:39:52 -04:00
Tony Garnock-Jones
73ef7f9d7d
Proper negotiation with server at startup time.
2012-05-01 15:39:40 -04:00
Tony Garnock-Jones
8ae2c89490
Better reconnect logic.
2012-05-01 15:39:06 -04:00
Tony Garnock-Jones
dd969a4b31
Config parsing; server control; milestones; ready-file.
2012-05-01 15:37:39 -04:00
Tony Garnock-Jones
ad80bf2fca
Makefile
2012-05-01 13:53:08 -04:00
Tony Garnock-Jones
faef364a42
Add icon
2012-05-01 13:52:45 -04:00
Tony Garnock-Jones
c82aa12c32
A damn fine start
2012-05-01 13:16:53 -04:00
Tony Garnock-Jones
982218c6ba
New project
2012-05-01 11:13:56 -04:00
Tony Garnock-Jones
829ab7b906
Fix nodes.js
2012-05-01 10:31:28 -04:00
Tony Garnock-Jones
141d5b47a9
Split out open_hooks, close_hooks; global server status
2012-05-01 10:27:05 -04:00
Tony Garnock-Jones
ae86a3e40c
Add "nodes" page
2012-05-01 09:25:59 -04:00
Tony Garnock-Jones
fa5b53001f
Handle close stream event
2012-05-01 09:25:24 -04:00
Tony Garnock-Jones
b5dd7e445e
Factor out ocamlmsg.js
2012-05-01 08:48:58 -04:00
Tony Garnock-Jones
bb12066819
Node list and info APIs
2012-05-01 08:30:17 -04:00
Tony Garnock-Jones
b0fceb7d8b
Clean up Date-header generation etc by introducing "|>" operator
2012-05-01 08:06:30 -04:00
Tony Garnock-Jones
66a6182a40
Add cache-control headers to hopefully disable caching on streaming responses; untested so far
2012-04-30 23:58:15 -04:00
Tony Garnock-Jones
0f8efaf4cf
Fold class list into general server stats
2012-04-29 21:47:01 -04:00
Tony Garnock-Jones
01e420ad97
New API for getting list of classes
2012-04-29 19:41:28 -04:00
Tony Garnock-Jones
6f750f88e9
Templates for multiple pages
2012-04-29 19:41:04 -04:00
Tony Garnock-Jones
30834921d3
Notes
2012-04-29 16:42:03 -04:00
Tony Garnock-Jones
fdacc9ef84
Send subscription from server to new client
2012-04-29 16:41:58 -04:00
Tony Garnock-Jones
6c77e30da4
Detect socket closure during streaming; implement proper relay for HTTP tap
2012-04-29 16:34:52 -04:00
Tony Garnock-Jones
42f0a6e7fe
Interconversion between SPKI-SEXP and JSON
2012-04-29 16:34:08 -04:00
Tony Garnock-Jones
cab3a7959a
Stringstream flush and flush_before.
2012-04-29 16:33:49 -04:00
Tony Garnock-Jones
e8a89b0818
More flexible sexp reading.
2012-04-29 16:33:32 -04:00
Tony Garnock-Jones
daeea89e36
Bootstrapify.
2012-04-29 16:31:29 -04:00