[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Denemo-devel] [bug #35749] Fix signal handler
From: |
Richard Shann |
Subject: |
[Denemo-devel] [bug #35749] Fix signal handler |
Date: |
Tue, 11 Aug 2015 18:26:08 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Firefox/31.0 Iceweasel/31.8.0 |
Update of bug #35749 (project denemo):
Status: Need Info => Fixed
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #7:
No, I didn't notice that. The M4 code is a small C program being used to test
the compiler features before using the compiler to compile Denemo (I would
guess), it uses exit(), but I would guess they know what they are doing.
The other one, I've no idea what it is for - it is clearly only for some sort
of debugging as Denemo is a GUI.
I've dropped the call to signal() as it does not seem to serve a useful
purpose, and on the face of it could cause a problem with threads as you say.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?35749>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Denemo-devel] [bug #35749] Fix signal handler, Richard Shann, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Markus Elfring, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Richard Shann, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Markus Elfring, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Richard Shann, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Markus Elfring, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler,
Richard Shann <=
- [Denemo-devel] [bug #35749] Fix signal handler, Markus Elfring, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Richard Shann, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Markus Elfring, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Richard Shann, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Markus Elfring, 2015/08/11
- [Denemo-devel] [bug #35749] Fix signal handler, Markus Elfring, 2015/08/12
- [Denemo-devel] [bug #35749] Fix signal handler, Richard Shann, 2015/08/12