F | |
| fd [Netcgi_common.out_obj_of_descr] |
The file descriptor passed as argument.
|
| fd [Netcgi_common.in_obj_of_descr] |
The file descriptor passed as argument.
|
H | |
| header_not_sent [Netcgi_common.cgi_environment] | true iff the output headers have not been sent.
|
I | |
| in0 [Netcgi_common.in_obj_of_descr] | |
| in1 [Netcgi_common.in_obj_of_descr] |
Invariant:
0 <= in0; in1 <= buffer_len.
|
| in_buf [Netcgi_common.in_obj_of_descr] |
The internal buffer of length
buffer_len.
|
O | |
| out1 [Netcgi_common.out_obj_of_descr] | |
| out_buf [Netcgi_common.out_obj_of_descr] |
The internal buffer of length
buffer_len.
|
P | |
| pos_in [Netcgi_common.in_obj_of_descr] | |
| pos_out [Netcgi_common.out_obj_of_descr] |