From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA20642; Wed, 6 Aug 2003 14:35:20 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA22555 for ; Wed, 6 Aug 2003 14:35:17 +0200 (MET DST) Received: from aibo.runbox.com (cujo.runbox.com [193.71.199.138]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h76CZHf00809 for ; Wed, 6 Aug 2003 14:35:17 +0200 (MET DST) Received: from [10.9.9.9] (helo=fetch-bak.runbox.com) by lufsen.runbox.com with esmtp (Exim 4.20) id 19kNVc-00079O-Cs for caml-list@inria.fr; Wed, 06 Aug 2003 14:35:16 +0200 Received: from [213.58.40.48] (helo=James) (Authenticated Sender=j.scott@runbox.com) by fetch-bak.runbox.com with asmtp (Exim 4.20) id 19kNVb-0000ry-9b for caml-list@inria.fr; Wed, 06 Aug 2003 14:35:15 +0200 From: "James Scott" To: Subject: [Caml-list] Unix.kill on Win32 Date: Wed, 6 Aug 2003 13:35:08 +0100 Message-ID: <000201c35c17$2cefc4a0$0300a8c0@James> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0003_01C35C1F.8EB42CA0" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.2616 Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 X-Sender: 160313 X-Loop: caml-list@inria.fr X-Spam: no; 0.12; runbox:99 32,:01 unix:02 arial:95 kill:09 message:89 U4:88 sensible:12 multi-part:83 win:18 possible:18 mime:77 some:23 scott:25 com:73 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0003_01C35C1F.8EB42CA0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Hi All, Would it be possible/sensible to have some limited implementation of Unix.kill for Win32, so that 'kill pid 9' or 'kill pid 15' worked for example? James ------=_NextPart_000_0003_01C35C1F.8EB42CA0 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Hi All, =

Would it be possible/sensible to have some limited = implementation of Unix.kill for Win32, so that ‘kill pid 9’ or ‘kill pid 15’ worked for example?

James =

------=_NextPart_000_0003_01C35C1F.8EB42CA0-- ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners