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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 26BE57EE80; Fri, 15 Mar 2013 10:18:59 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of florian@hars.de) identity=pra; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="florian@hars.de"; x-sender="florian@hars.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of florian@hars.de) identity=mailfrom; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="florian@hars.de"; x-sender="florian@hars.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.10 as permitted sender) identity=helo; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="florian@hars.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmIBADvnQlHU4xEKemdsb2JhbABDiDa8W4FtFg4BAQsJKAMlgisBAQQjBBFAERMSAgUWCwICCQMCAQIBRQcMCAEBiBQIrzeSYoEjh3eGAoItgRMDllqBH4ReiiiDaA X-IPAS-Result: AmIBADvnQlHU4xEKemdsb2JhbABDiDa8W4FtFg4BAQsJKAMlgisBAQQjBBFAERMSAgUWCwICCQMCAQIBRQcMCAEBiBQIrzeSYoEjh3eGAoItgRMDllqBH4ReiiiDaA X-IronPort-AV: E=Sophos;i="4.84,850,1355094000"; d="scan'208";a="6590830" Received: from moutng.kundenserver.de ([212.227.17.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Mar 2013 10:18:58 +0100 Received: from keller.hars.de (p4FF61A2B.dip0.t-ipconnect.de [79.246.26.43]) by mrelayeu.kundenserver.de (node=mrbap1) with ESMTP (Nemesis) id 0M7DXi-1UcmfP2IZa-00wsaA; Fri, 15 Mar 2013 10:18:57 +0100 Received: from [192.168.178.34] by keller.hars.de with esmtp (Exim 4.72) (envelope-from ) id 1UGQmu-0001AA-Si; Fri, 15 Mar 2013 10:18:56 +0100 Message-ID: <5142E780.7060806@hars.de> Date: Fri, 15 Mar 2013 10:18:56 +0100 From: Florian Hars Reply-To: caml-list@inria.fr User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130221 Thunderbird/17.0.3 MIME-Version: 1.0 To: ocsigen@inria.fr, caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-SA-Exim-Connect-IP: 192.168.178.34 X-SA-Exim-Mail-From: florian@hars.de X-SA-Exim-Scanned: No (on keller.hars.de); SAEximRunCond expanded to false X-Provags-ID: V02:K0:BzQGFXYijvbbB4xSfQiBcEuLH9FIbtiS2ipZnG5GTrL 9WgppgijxznDlP6LKyxLqAvqnRgRgoSQ+WqSM8WaiD8baNOw0J D2/5ouzSfEdTNufhn9oyJ70yD7QGaCwZnMFjiPuPUcMUD/OMPk thtLEoJQMQiXyrBapErrds3Q6sGw4ttCz+SS767Ssp0X/fls9a rsDiJTZEb9+2mSRfrfNhs+pak3GhjJDTE8gwnNCgKJn66S4l/t esLFHDOACOHh58eFq5DQwaiHj3Kj7xa9ADYAPXzp2bG0wdxXDb vFldR0azlhui9jp5TXHG0obXj/RzlWnlQKxxgIhrOyMg6PIug= = Subject: [Caml-list] BUG in unix.ml (was: strange errors when linking lwt.unix) Am 14.03.2013 18:53, schrieb Sebastien Mondet: > # Unix.system "date";; > Thu Mar 14 08:48:27 EST 2013 > Exception: Unix.Unix_error (Unix.EINTR, "waitpid", ""). > # That is just a bug in the unix library, Unix.system calls waitpid in caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/version/4.00/otherlibs/unix/unix.ml?view=markup#l849 instead of waitpid_non_intr http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/version/4.00/otherlibs/unix/unix.ml?view=markup#l1002 I get the same behaviour without lwt: OCaml version 4.00.1 # #load "unix.cma";; # Sys.set_signal 10 (Sys.Signal_handle (fun _ -> print_endline "A perfect ten"));; - : unit = () # Unix.system "sleep 20";; A perfect ten Exception: Unix.Unix_error (Unix.EINTR, "waitpid", ""). # All I had to do is send a signal 10 to the ocaml process from another shell. It probably escaped notice so far because only lwt_unix does enough strange things with signals in the default config to trigger it reliably. - Florian.