From 93010886cbae64dc2652d6787d50e7c60baa10a0 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Wed, 27 Oct 1993 23:01:46 +0000 Subject: [PATCH] Fix bug: inferior REPL thread was never being killed. --- v7/src/edwin/intmod.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/v7/src/edwin/intmod.scm b/v7/src/edwin/intmod.scm index 4db6326bb..1936c2a1b 100644 --- a/v7/src/edwin/intmod.scm +++ b/v7/src/edwin/intmod.scm @@ -1,6 +1,6 @@ ;;; -*-Scheme-*- ;;; -;;; $Id: intmod.scm,v 1.74 1993/10/26 20:25:10 cph Exp $ +;;; $Id: intmod.scm,v 1.75 1993/10/27 23:01:46 cph Exp $ ;;; ;;; Copyright (c) 1986, 1989-93 Massachusetts Institute of Technology ;;; @@ -230,14 +230,14 @@ REPL uses current evaluation environment." (buffer-get buffer 'INTERFACE-PORT)) (define (kill-buffer-inferior-repl buffer) - (unwind-inferior-repl-buffer buffer) (let ((port (buffer-interface-port buffer))) (if port (let ((thread (port/thread port))) (if (not (thread-dead? thread)) (signal-thread-event thread (lambda () - (exit-current-thread unspecific)))))))) + (exit-current-thread unspecific))))))) + (unwind-inferior-repl-buffer buffer)) (define (unwind-inferior-repl-buffer buffer) (without-interrupts -- 2.25.1