diff options
-rw-r--r-- | libguile/fports.c | 17 | ||||
-rw-r--r-- | libguile/gc.c | 2 |
2 files changed, 1 insertions, 18 deletions
diff --git a/libguile/fports.c b/libguile/fports.c index d541d95eb..04f3815d0 100644 --- a/libguile/fports.c +++ b/libguile/fports.c @@ -793,10 +793,6 @@ fport_write (SCM port, const void *data, size_t size) } #undef FUNC_NAME -/* becomes 1 when process is exiting: normal exception handling won't - work by this time. */ -extern int scm_i_terminating; - static void fport_flush (SCM port) { @@ -827,18 +823,7 @@ fport_flush (SCM port) } pt->write_pos = pt->write_buf + remaining; } - if (scm_i_terminating) - { - const char *msg = "Error: could not flush file-descriptor "; - char buf[11]; - - full_write (2, msg, strlen (msg)); - sprintf (buf, "%d\n", fp->fdes); - full_write (2, buf, strlen (buf)); - - count = remaining; - } - else if (scm_gc_running_p) + if (scm_gc_running_p) { /* silently ignore the error. scm_error would abort if we called it now. */ diff --git a/libguile/gc.c b/libguile/gc.c index 1e8d7ddca..192dd5273 100644 --- a/libguile/gc.c +++ b/libguile/gc.c @@ -587,8 +587,6 @@ scm_gc_unregister_roots (SCM *b, unsigned long n) scm_gc_unregister_root (p); } -int scm_i_terminating; - |