Merge branch 'topic/kill' into 'master'

We can't require process to be alive at `kill` call

See merge request eng/ide/spawn!50

Author: reznikmm

source/spawn/spawn-internal__glib_posix.adb

@@ -211,13 +211,11 @@ package body Spawn.Internal is
    ------------------
 
    procedure Kill_Process (Self : in out Process'Class) is
-      use type Interfaces.C.int;
-
-      Code : constant Interfaces.C.int :=
+      Ignore : constant Interfaces.C.int :=
         Spawn.Posix.kill
           (Self.pid, Interfaces.C.int (System.OS_Interface.SIGKILL));
    begin
-      pragma Assert (Code = 0);
+      null;
    end Kill_Process;
 
    -----------------------
@@ -342,13 +340,11 @@ package body Spawn.Internal is
    -----------------------
 
    procedure Terminate_Process (Self : in out Process'Class) is
-      use type Interfaces.C.int;
-
-      Code : constant Interfaces.C.int :=
+      Ignore : constant Interfaces.C.int :=
         Spawn.Posix.kill
           (Self.pid, Interfaces.C.int (System.OS_Interface.SIGTERM));
    begin
-      pragma Assert (Code = 0);
+      null;
    end Terminate_Process;
 
    --------------------------

source/spawn/spawn-internal__posix.adb

@@ -90,13 +90,11 @@ package body Spawn.Internal is
    ------------------
 
    procedure Kill_Process (Self : in out Process'Class) is
-      use type Interfaces.C.int;
-
-      Code : constant Interfaces.C.int :=
+      Ignore : constant Interfaces.C.int :=
         Spawn.Posix.kill
           (Self.pid, Interfaces.C.int (System.OS_Interface.SIGKILL));
    begin
-      pragma Assert (Code = 0);
+      null;
    end Kill_Process;
 
    ----------------
@@ -174,13 +172,11 @@ package body Spawn.Internal is
    -----------------------
 
    procedure Terminate_Process (Self : in out Process'Class) is
-      use type Interfaces.C.int;
-
-      Code : constant Interfaces.C.int :=
+      Ignore : constant Interfaces.C.int :=
         Spawn.Posix.kill
           (Self.pid, Interfaces.C.int (System.OS_Interface.SIGTERM));
    begin
-      pragma Assert (Code = 0);
+      null;
    end Terminate_Process;
 
    --------------------------