syndicate-lang
/
hop-2012
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
hop-2012/server
History
Tony Garnock-Jones 6de8c22e58 Cosmetic (?) regeneration of bootstrap.css from sources 2018-08-10 11:40:49 +01:00
..
web Cosmetic (?) regeneration of bootstrap.css from sources 2018-08-10 11:40:49 +01:00
.gitignore Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
Makefile Minimal migration to lwt 4.x; a better stab at this would be to switch to PPX 2018-08-10 11:40:32 +01:00
TODO Don't forget the "five minute rule". 2013-02-12 13:21:08 -05:00
_tags Minimal migration to lwt 4.x; a better stab at this would be to switch to PPX 2018-08-10 11:40:32 +01:00
amqp0-9-1.stripped.xml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
amqp_codegen.py Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
amqp_relay.ml JSON configuration 2012-05-29 16:06:57 +01:00
amqp_wireformat.ml Properly restrict SPKI SEXP display hints to octet strings 2012-05-28 14:34:14 +01:00
app_info.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
codegen.py Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
config.ml JSON configuration 2012-05-29 16:06:57 +01:00
connections.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
datastructures.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
directnode.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
factory.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
fanoutnode.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
fqueue.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
gpath.ml JSON configuration 2012-05-29 16:06:57 +01:00
hof.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
hop.config JSON configuration 2012-05-29 16:06:57 +01:00
hop_server.ml JSON configuration 2012-05-29 16:06:57 +01:00
hopstr.ml JSON configuration 2012-05-29 16:06:57 +01:00
html.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
httpd.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
httpd_date.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
httpd_file.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
ibuffer.ml JSON configuration 2012-05-29 16:06:57 +01:00
json.ml JSON configuration 2012-05-29 16:06:57 +01:00
log.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
meta.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
net.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
node.ml One-place cache per connection speeds up name lookup 2012-05-25 20:20:45 +01:00
obuffer.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
queuenode.ml Correct waiters count. 2012-05-31 10:17:28 +01:00
relay.ml JSON configuration 2012-05-29 16:06:57 +01:00
server_control.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
sexp.ml Properly restrict SPKI SEXP display hints to octet strings 2012-05-28 14:34:14 +01:00
sexpjson.ml Properly restrict SPKI SEXP display hints to octet strings 2012-05-28 14:34:14 +01:00
speedtest.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
squeue_array.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
squeue_linked.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
squeue_speed.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
status.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
streamutil.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
subscription.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
test_fqueue.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
ui_main.ml JSON configuration 2012-05-29 16:06:57 +01:00
ui_relay.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00
util.ml JSON configuration 2012-05-29 16:06:57 +01:00
uuid.ml Move server into its own subdirectory. Preparing for repo merges. 2012-05-10 16:49:49 -04:00