summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2010-05-28 16:50:36 +0200
committerLudovic Courtès <ludo@gnu.org>2010-05-28 17:02:14 +0200
commit65c7a8bd64cf91fa9860a870d8fc2c21128b96e7 (patch)
tree81e37ae8a277456f2f032abdd6921cfd106f802d
parent8c93b597b33a381c6d334597aae48d23e221a56e (diff)
downloadguile-65c7a8bd64cf91fa9860a870d8fc2c21128b96e7.tar.gz
Remove dead code related to `scm_i_terminating'.
* libguile/fports.c (scm_i_terminating): Remove declaration. (fport_flush): Remove code conditional of `scm_i_terminating'. * libguile/gc.c (scm_i_terminating): Remove.
-rw-r--r--libguile/fports.c17
-rw-r--r--libguile/gc.c2
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;
-