delorie.com/archives/browse.cgi   search  
Mail Archives: cygwin/2002/08/16/10:52:32

Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sources.redhat.com/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sources.redhat.com/ml/#faqs>
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Delivered-To: mailing list cygwin AT cygwin DOT com
Message-ID: <3D5D0F9A.80602@st.com>
Date: Fri, 16 Aug 2002 16:43:38 +0200
From: Pavel Holejsovsky <pavel DOT holejsovsky AT st DOT com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.0) Gecko/20020530
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: joseph DOT buehler AT spirentcom DOT com
Cc: cygwin AT cygwin DOT com
Subject: Re: GNU emacs 21.2-5 packages available
References: <3D5D01AB DOT 7070206 AT hekimian DOT com> <3D5D0899 DOT 80007 AT st DOT com> <H000076f167c247c DOT 1029507837 DOT eux100 DOT sgp DOT st DOT com AT MHS>

jbuehler AT hekimian DOT com wrote:
> Pavel Holejsovsky wrote:
> 
>> This problem is quite annoying. I already tried to investigate, and it 
>> seems to me that occasionally SIGCHLD signal is NOT delivered to emacs 
>> when the child process terminates. I tried to continue a little bit, 
>> but got lost very quickly in cygwin's signal implementation (hey, 
>> that's *really* complicated code). I tried strace and the only thing 
>> which caught my eyes were these lines:
> 
> Does the process exit get noticed when you press control-g?

Yes! Does it ring some bell to you?

Even if not, never mind, C-g is really easy to use workaround :-)

thanks
Pavel


--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Bug reporting:         http://cygwin.com/bugs.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019