diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-11 14:48:08 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-11 14:48:08 +0200 |
commit | 0d305ef00438e2a7d3f225d5ff177de43f8514a6 (patch) | |
tree | fff3103e230effd68572c7588c84886f40d62704 | |
parent | a54e3bf051b58a915ba448d6def18298805f6874 (diff) | |
download | gcc-0d305ef00438e2a7d3f225d5ff177de43f8514a6.zip gcc-0d305ef00438e2a7d3f225d5ff177de43f8514a6.tar.gz gcc-0d305ef00438e2a7d3f225d5ff177de43f8514a6.tar.bz2 |
Minor reformatting.
From-SVN: r211463
-rw-r--r-- | gcc/ada/s-taprop-linux.adb | 4 | ||||
-rw-r--r-- | gcc/ada/s-tassta.adb | 5 |
2 files changed, 5 insertions, 4 deletions
diff --git a/gcc/ada/s-taprop-linux.adb b/gcc/ada/s-taprop-linux.adb index 5aa384b..4a81c08 100644 --- a/gcc/ada/s-taprop-linux.adb +++ b/gcc/ada/s-taprop-linux.adb @@ -1076,9 +1076,11 @@ package body System.Task_Primitives.Operations is procedure Abort_Task (T : Task_Id) is Result : Interfaces.C.int; - ESRCH : constant := 3; -- No such process + + ESRCH : constant := 3; -- No such process -- It can happen that T has already vanished, in which case pthread_kill -- returns ESRCH, so we don't consider that to be an error. + begin if Abort_Handler_Installed then Result := diff --git a/gcc/ada/s-tassta.adb b/gcc/ada/s-tassta.adb index 4eff8ee..decfcab 100644 --- a/gcc/ada/s-tassta.adb +++ b/gcc/ada/s-tassta.adb @@ -870,15 +870,14 @@ package body System.Tasking.Stages is Write_Lock (Self_ID); -- If the Abort_Task signal is set to system, it means that we may - -- not have been able to abort all independent tasks (in particular + -- not have been able to abort all independent tasks (in particular, -- Server_Task may be blocked, waiting for a signal), in which case, do -- not wait for Independent_Task_Count to go down to 0. We arbitrarily -- limit the number of loop iterations; if an independent task does not -- terminate, we do not want to hang here. In that case, the thread will -- be terminated when the process exits. - if State (System.Interrupt_Management.Abort_Task_Interrupt) /= - Default + if State (System.Interrupt_Management.Abort_Task_Interrupt) /= Default then for J in 1 .. 10 loop exit when Utilities.Independent_Task_Count = 0; |