version 1.13.4.2, 2002/06/26 18:22:34 |
version 1.14, 2001/12/19 17:16:13 |
|
|
{ |
{ |
void *p; |
void *p; |
|
|
if (len > 0x100000) |
|
fatal("buffer_append_space: len %u not supported", len); |
|
|
|
/* If the buffer is empty, start using it from the beginning. */ |
/* If the buffer is empty, start using it from the beginning. */ |
if (buffer->offset == buffer->end) { |
if (buffer->offset == buffer->end) { |
buffer->offset = 0; |
buffer->offset = 0; |
|
|
} |
} |
/* Increase the size of the buffer and retry. */ |
/* Increase the size of the buffer and retry. */ |
buffer->alloc += len + 32768; |
buffer->alloc += len + 32768; |
if (buffer->alloc > 0xa00000) |
|
fatal("buffer_append_space: alloc %u not supported", |
|
buffer->alloc); |
|
buffer->buf = xrealloc(buffer->buf, buffer->alloc); |
buffer->buf = xrealloc(buffer->buf, buffer->alloc); |
goto restart; |
goto restart; |
/* NOTREACHED */ |
/* NOTREACHED */ |
|
|
buffer_dump(Buffer *buffer) |
buffer_dump(Buffer *buffer) |
{ |
{ |
int i; |
int i; |
u_char *ucp = buffer->buf; |
u_char *ucp = (u_char *) buffer->buf; |
|
|
for (i = buffer->offset; i < buffer->end; i++) { |
for (i = buffer->offset; i < buffer->end; i++) { |
fprintf(stderr, "%02x", ucp[i]); |
fprintf(stderr, "%02x", ucp[i]); |