717 |
|
|
718 |
/* becomes 1 when process is exiting: normal exception handling won't |
/* becomes 1 when process is exiting: normal exception handling won't |
719 |
work by this time. */ |
work by this time. */ |
720 |
extern int terminating; |
extern int scm_i_terminating; |
721 |
|
|
722 |
static void |
static void |
723 |
fport_flush (SCM port) |
fport_flush (SCM port) |
749 |
} |
} |
750 |
pt->write_pos = pt->write_buf + remaining; |
pt->write_pos = pt->write_buf + remaining; |
751 |
} |
} |
752 |
if (terminating) |
if (scm_i_terminating) |
753 |
{ |
{ |
754 |
const char *msg = "Error: could not flush file-descriptor "; |
const char *msg = "Error: could not flush file-descriptor "; |
755 |
char buf[11]; |
char buf[11]; |