public inbox for gcc-prs@sourceware.org
help / color / mirror / Atom feed
From: oliver.kellogg@sysde.eads.net
To: gcc-gnats@gcc.gnu.org
Subject: ada/9480: Cannot "kill -TERM" programs that link the tasking runtime
Date: Tue, 28 Jan 2003 15:06:00 -0000	[thread overview]
Message-ID: <20030128145956.20282.qmail@sources.redhat.com> (raw)


>Number:         9480
>Category:       ada
>Synopsis:       Cannot "kill -TERM" programs that link the tasking runtime
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Jan 28 15:06:01 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     Oliver M. Kellogg
>Release:        gcc-3.2.1
>Organization:
>Environment:
RedHat Linux 8.0 (i686)
>Description:
A main program that merely contains a task type
declaration (but no task object) does not react to
the TERM signal.
OTOH, A main program without any tasking related
declarations reacts normally to the SIGTERM.

Here is the test program:

-- file: sigterm_ignored.adb
with Text_Io;

procedure Sigterm_Ignored is

   task type Freerun;
   -- NB: Only a task TYPE, not even a real task.
   task body Freerun is
   begin
      null;
   end Freerun;

begin
   loop
      text_io.put_line ("Here is the main program.");
      delay 1.3;
   end loop;
end Sigterm_Ignored;
>How-To-Repeat:
gnatmake the test program and start it.
Then try doing a "kill -TERM" on the process and witness
that the program is not terminated.
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:


             reply	other threads:[~2003-01-28 15:06 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-01-28 15:06 oliver.kellogg [this message]
2003-05-13  0:36 Dara Hazeghi
2003-05-14 12:56 Kellogg, Oliver, ISO23

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20030128145956.20282.qmail@sources.redhat.com \
    --to=oliver.kellogg@sysde.eads.net \
    --cc=gcc-gnats@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).