Public Attributes | |||
int | type | ||
int | ident | ||
int | nodeid | ||
int | port |
Definition at line 168 of file total_order_channel.h.
00168 { 00169 00170 int type ; // JOIN or QUIT 00171 00172 int ident; 00173 00174 int nodeid; 00175 00176 int port; 00177 00178 }
int total_order_channel::cmdheader::ident |
Definition at line 172 of file total_order_channel.h.
int total_order_channel::cmdheader::nodeid |
Definition at line 174 of file total_order_channel.h.
int total_order_channel::cmdheader::port |
Definition at line 176 of file total_order_channel.h.
int total_order_channel::cmdheader::type |
Definition at line 170 of file total_order_channel.h.