| 76 |
while (1) |
while (1) |
| 77 |
{ |
{ |
| 78 |
prev_status = status; |
prev_status = status; |
| 79 |
status = read_header (0); |
status = read_header (false); |
| 80 |
switch (status) |
switch (status) |
| 81 |
{ |
{ |
| 82 |
case HEADER_STILL_UNREAD: |
case HEADER_STILL_UNREAD: |
| 83 |
|
case HEADER_SUCCESS_EXTENDED: |
| 84 |
abort (); |
abort (); |
| 85 |
|
|
| 86 |
case HEADER_SUCCESS: |
case HEADER_SUCCESS: |
| 160 |
case HEADER_FAILURE: |
case HEADER_FAILURE: |
| 161 |
/* We are in the middle of a cascade of errors. */ |
/* We are in the middle of a cascade of errors. */ |
| 162 |
break; |
break; |
| 163 |
|
|
| 164 |
|
case HEADER_SUCCESS_EXTENDED: |
| 165 |
|
abort (); |
| 166 |
} |
} |
| 167 |
continue; |
continue; |
| 168 |
} |
} |