From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id EEFB07EE80 for ; Fri, 15 Mar 2013 15:16:03 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8BAFssQ1EmacjlmWdsb2JhbABDh2q9LIFdHg4BAQEBAQgLCwcUKIIqAQEFQAEBNwEPCwsNLiISAQUBHAYTiBQDpDyKcoQ7AQWPHAaPFQeDQJZegR+EXokjFimELQ X-IPAS-Result: Ag8BAFssQ1EmacjlmWdsb2JhbABDh2q9LIFdHg4BAQEBAQgLCwcUKIIqAQEFQAEBNwEPCwsNLiISAQUBHAYTiBQDpDyKcoQ7AQWPHAaPFQeDQJZegR+EXokjFimELQ X-IronPort-AV: E=Sophos;i="4.84,850,1355094000"; d="scan'208";a="7806682" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Mar 2013 15:16:03 +0100 Received: from [172.27.22.15] (helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1UGVQQ-0005eX-Gg for caml-list@inria.fr; Fri, 15 Mar 2013 10:16:02 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1UGVQQ-0006e7-Fa for caml-list@inria.fr; Fri, 15 Mar 2013 10:16:02 -0400 Received: from mail-ia0-f197.google.com ([209.85.210.197]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1UGVQQ-0001Yc-CB for caml-list@inria.fr; Fri, 15 Mar 2013 10:16:02 -0400 Received: by mail-ia0-f197.google.com with SMTP id y25so3287580iay.4 for ; Fri, 15 Mar 2013 07:16:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=x-received:mime-version:x-received:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=BLGGGRps4ybd6ozeSO/k8gCYIi3dYAlDIrA3qEH2MXU=; b=N4JYETKLzIFxf0auitBhwaIEElsyJbG1e0v6zBhqFPpiKuiHU/RMjYsXW87E2BW4ub IqH6HRBj9kEIBekRH46uG5Iu7W8ciS38sY9twGHNCogoyLPx8CreEWQVGQWBdhohioZF 5HKblFfJDNQQoEmPaD4IPg/YsDXi20/hzBO74= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-received:mime-version:x-received:in-reply-to:references:date :message-id:subject:from:to:cc:content-type:x-gm-message-state; bh=BLGGGRps4ybd6ozeSO/k8gCYIi3dYAlDIrA3qEH2MXU=; b=DPFg2eusnVEtrG5t7okeqRyKEymTWpd9IWpmnNqLZmC234p8nciSUUIfdrgV8txrU7 MVczhMGO9nTRbaiS2fJ83Gc2VDNeE8GFo2QJkfztsjM6jVucxZvYRf819yf3195U6YV+ 6cPqNFqcH+odEhHZ/zaXksUH1ek45VOYkw8EuUrK19D7vobTfK22H4V2+AUSdOuWxaaz zafoKDhyGie9P1PZZNCDfjD4D3TA5fpIqIhNnG3fIsdWiWoj2eM9F2xdCfMw27q9tsKk 2YmR8xoxpesCPK8zWBRckqs6Y2dC5kiIHV6aBUOAmBDwVt4Nz5Y8IRP7YI7+2wrdAecK 7plQ== X-Received: by 10.42.175.73 with SMTP id az9mr77005icb.55.1363356961966; Fri, 15 Mar 2013 07:16:01 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.42.175.73 with SMTP id az9mr77001icb.55.1363356961881; Fri, 15 Mar 2013 07:16:01 -0700 (PDT) Received: by 10.50.29.48 with HTTP; Fri, 15 Mar 2013 07:16:01 -0700 (PDT) In-Reply-To: <20130315140506.GI3409@siouxsie> References: <5142E780.7060806@hars.de> <20130315124345.GB3262@siouxsie> <20130315135823.GH3409@siouxsie> <20130315140506.GI3409@siouxsie> Date: Fri, 15 Mar 2013 14:16:01 +0000 Message-ID: From: Jeremie Dimino To: oliver Cc: caml-list@inria.fr, ocsigen@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQli0GegQO4032owDmSUIN6RHhWucMwv/Ak6NTbN0m1b/CP3UMhp/SnD/r8XEhsmA4fXKaPxCJv+Gali8m8F7ugzF/9FRAxiaybNFeT8bCRpi4s2VmJQRK6v3u6ZkMgwzme49XXNd6HbETctk7vDSojz1xiBjA== Subject: Re: [Caml-list] BUG in unix.ml (was: strange errors when linking lwt.unix) On Fri, Mar 15, 2013 at 2:05 PM, oliver wrote: >> Try this one: >> >> open Unix;; >> let new_mask = sigprocmask SIG_BLOCK [10] in >> let ic = Unix.open_process_in "sleep 5" in >> Unix.system "sleep 10";; > > Hahah... works even with empty list :-) Of course. It works even without the sigprocmask. The default disposition for SIGCHLD is "ignore", so if there is no signal handler it will just be ignored... Cheers, Jeremie