From: evangeli@cnam.fr (Evangelista Sami)
Subject: creating processes
Date: 14 Feb 2004 15:00:32 -0800
Date: 2004-02-14T15:00:32-08:00 [thread overview]
Message-ID: <5f59677c.0402141500.7032553e@posting.google.com> (raw)
Hello all
i have gnat 3.15p.
i have seen there are procedures and functions in gnat.os_lib to spawn
processes, wait for processes... is there a way to kill a process
previously created by a spawn call?
Sami Evangelista
next reply other threads:[~2004-02-14 23:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-02-14 23:00 Evangelista Sami [this message]
2004-02-15 20:37 ` creating processes David C. Hoos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox