From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id E035BBC57
	for <caml-list@yquem.inria.fr>; Mon, 16 Aug 2010 16:58:32 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuIBABzvaEzRVaA0kGdsb2JhbACDFZ0lCBUBAQEBCQkMBxEDH6F4iFQ8ghKGGC6IVAEBAwWBIYMicwSJYg
X-IronPort-AV: E=Sophos;i="4.55,376,1278280800"; 
   d="scan'208";a="65705431"
Received: from mail-pw0-f52.google.com ([209.85.160.52])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Aug 2010 16:58:32 +0200
Received: by pwj8 with SMTP id 8so1836474pwj.39
        for <caml-list@yquem.inria.fr>; Mon, 16 Aug 2010 07:58:31 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:mime-version:received:in-reply-to
         :references:from:date:message-id:subject:to:content-type
         :content-transfer-encoding;
        bh=MloRFEdROcm3tKN3GxN8o4vmZ2/S7+0euWQ3V80SEfI=;
        b=sq6ENkEBM5w/tDJfAnM65AAKXFZ8Pfezz4uOoDjDRR2y2A3T47MZT01Ue7OMp564WW
         gon8cX9tTc94WcmlF6wAmuSBKbQCFYWbP+DBDbhKhagtGW+LaQHY58vhEZCLzMdZVH7P
         Nftp8HwBMInpX1o9rJpL8CYnS7TP7MfAxCrkI=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :content-type:content-transfer-encoding;
        b=TEgCrYkqakEroFSFBC68AowUr+NEaohU3PN6FZ0cFAsl8bxHiJMS6fy/mnn/bTxFUk
         qVe0WcvpFM9PrxtDl8+mIp/lKRiAJOkUzrifZV0MEwEQKhQyMmQhqCr64IJuW7ymI1MM
         1ApOHCzUGtLDPHt5iT042bJrm5ww7gBDBZ838=
Received: by 10.142.222.12 with SMTP id u12mr4571283wfg.247.1281970711201;
 Mon, 16 Aug 2010 07:58:31 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.220.125.72 with HTTP; Mon, 16 Aug 2010 07:58:11 -0700 (PDT)
In-Reply-To: <AANLkTikVgD-NStGnqTTcumorkYnr8b99w4DXUajFw06T@mail.gmail.com>
References: <AANLkTin54NBm8pZVLKdwnL_rLPnr=JvRsEEETRxDwvMr@mail.gmail.com> <AANLkTikVgD-NStGnqTTcumorkYnr8b99w4DXUajFw06T@mail.gmail.com>
From: Paolo Donadeo <p.donadeo@gmail.com>
Date: Mon, 16 Aug 2010 16:58:11 +0200
Message-ID: <AANLkTiny-kFyXubYnHCa6DkwFvyAii_w1=4ffDTaR_ox@mail.gmail.com>
Subject: Re: [Caml-list] Thread.delay afraid of SIGTERM
To: OCaml mailing list <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Spam: no; 0.00; sigterm:01 ocaml:01 lesson:98 W6:98 unix:01 unix:01 caml-list:01 caml:02 objective:02 programming:03 programming:03 solved:04 daniel:04 problem:05 thread:06 

Thanks Daniel and Philippe, problem solved.

The lesson here is: read "Unix system programming in Objective Caml"
*before* starting Unix system programming in OCaml :-)


--=20
Paolo =E2=A0=A0=E2=A0=B5