727 |
|
|
728 |
/* becomes 1 when process is exiting: normal exception handling won't |
/* becomes 1 when process is exiting: normal exception handling won't |
729 |
work by this time. */ |
work by this time. */ |
730 |
extern int terminating; |
extern int scm_i_terminating; |
731 |
|
|
732 |
static void |
static void |
733 |
fport_flush (SCM port) |
fport_flush (SCM port) |
759 |
} |
} |
760 |
pt->write_pos = pt->write_buf + remaining; |
pt->write_pos = pt->write_buf + remaining; |
761 |
} |
} |
762 |
if (terminating) |
if (scm_i_terminating) |
763 |
{ |
{ |
764 |
const char *msg = "Error: could not flush file-descriptor "; |
const char *msg = "Error: could not flush file-descriptor "; |
765 |
char buf[11]; |
char buf[11]; |