diff include/types.h @ 682:5bbb542243e8

Redo channels, making them single-client
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 11:37:29 -0400
parents b0c1a46b1f15
children 9864b64b1700
line wrap: on
line diff
--- a/include/types.h	Sat Mar 28 11:15:42 2009 -0400
+++ b/include/types.h	Sun Mar 29 11:37:29 2009 -0400
@@ -17,7 +17,11 @@
 
 typedef uw_Basis_string uw_Basis_xhtml;
 typedef uw_Basis_string uw_Basis_page;
-typedef size_t uw_Basis_channel;
+
+typedef unsigned uw_Basis_client;
+typedef struct {
+  unsigned cli, chn;
+} uw_Basis_channel;
 
 
 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;