| 232 | #ifdef EXTRA_DEBUG |
| 233 | |
| 234 | void my_print_open_files(void) |
| 235 | { |
| 236 | if (my_file_opened | my_stream_opened) |
| 237 | { |
| 238 | uint i; |
| 239 | for (i= 0 ; i < my_file_limit ; i++) |
| 240 | { |
| 241 | if (my_file_info[i].type != UNOPEN) |
| 242 | { |
| 243 | fprintf(stderr, EE(EE_FILE_NOT_CLOSED), my_file_info[i].name, i); |
| 244 | fputc('\n', stderr); |
| 245 | } |
| 246 | } |
| 247 | } |
| 248 | } |
| 249 | |
| 250 | #endif |