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 DDD457EE8A; Fri, 15 Mar 2013 17:25:30 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn.in-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEIAMBKQ1HAbSoIiWdsb2JhbABDiDO3SoUbAwGBZxYOAQEBFRIUBCSCKgEBBAEjVhALCQ8CAgUhAgIPBRgxiCEGBAiwNJJzFYEOjRVdB4ItMmEDjkSIFoEgkm4 X-IPAS-Result: AsEIAMBKQ1HAbSoIiWdsb2JhbABDiDO3SoUbAwGBZxYOAQEBFRIUBCSCKgEBBAEjVhALCQ8CAgUhAgIPBRgxiCEGBAiwNJJzFYEOjRVdB4ItMmEDjkSIFoEgkm4 X-IronPort-AV: E=Sophos;i="4.84,852,1355094000"; d="scan'208";a="6654270" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Mar 2013 17:25:30 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178037077.adsl.alicedsl.de [85.178.37.77]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id r2FGPTXk001934 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Fri, 15 Mar 2013 17:25:29 +0100 Received: by first (Postfix, from userid 1000) id F367515400E6; Fri, 15 Mar 2013 17:25:28 +0100 (CET) Date: Fri, 15 Mar 2013 17:25:28 +0100 From: oliver To: Gabriel Kerneis Cc: Jeremie Dimino , caml-list@inria.fr, ocsigen@inria.fr Message-ID: <20130315162528.GC5664@siouxsie> References: <20130315124345.GB3262@siouxsie> <20130315141735.GA4697@siouxsie> <20130315142715.GC4697@siouxsie> <20130315151134.GA5194@siouxsie> <20130315154414.GB6473@kerneis.info> <20130315160045.GA5664@siouxsie> <20130315161240.GD6473@kerneis.info> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20130315161240.GD6473@kerneis.info> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] BUG in unix.ml (was: strange errors when linking lwt.unix) On Fri, Mar 15, 2013 at 04:12:41PM +0000, Gabriel Kerneis wrote: > Oliver, > > On Fri, Mar 15, 2013 at 05:00:45PM +0100, oliver wrote: > > The problem occures when using the signal handler from Sys, > > not from unix module. > > Could you please (at least) read the documentation before contributing to this > thread again? > > > It was stated that the unix module is doing things wrong. > > But the Unix signalling mechanism was not used. > > Let me quote it for you: > > ### Signals ### > Note: installation of signal handlers is performed via the functions > Sys.signal and Sys.set_signal. > -- http://caml.inria.fr/pub/docs/manual-ocaml/libref/Unix.html#6_Signals OK, I was wrong here. I had in mind there was a sigaction-function in Unix module also. My fault, should better have looked it up again, after so long not using it. My apologies too Dimino. Didn't saw what you wanted to point me too. > > So the Unix module does not provide any way to setup a signal handler. You have > to use Sys. Your requirement of demonstrating the issue using Unix only is > silly. Period. Hahah, people say I'm rude and they are themselves. Welcome in the club. :) Ciao, Oliver