From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 001445D5 for ; Sat, 9 Jan 2021 17:52:33 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,334,1602540000"; d="scan'208";a="486250167" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jan 2021 18:52:30 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 971AFE6FE2; Sat, 9 Jan 2021 18:52:30 +0100 (CET) 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 E8182E6B59 for ; Sat, 9 Jan 2021 18:52:27 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Markus.Elfring@web.de; spf=Pass smtp.mailfrom=Markus.Elfring@web.de; spf=None smtp.helo=postmaster@mout.web.de IronPort-PHdr: =?us-ascii?q?9a23=3ASCDI6BFLONupTJf+/MBqbZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7ypMuwAkXT6L1XgUPTWs2DsrQY0rWQ6fy/EjJdqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5wIRmsswncucsbjYRjJ6sx1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOiUn+2/LlMN/kKNboAqgpxNhxY7UfJqVP+d6cq/EYN8WWXZNUsNXWidcAI2z?= =?us-ascii?q?cpEPAvIfM+ZWr4fzulgAoxWwCgajBuzg1jBGi2Tq3a0jyektDR3K0QIiEt8IrX?= =?us-ascii?q?/arM/1NKAXUe2ty6fH1y/Db/BL2Tfm9YPGfRQhof+WXbJxd8rRxlQkGgTCgFqK?= =?us-ascii?q?s4zlPC6V1v8Xv2aU6+pgW/ivi28hqwF+uTWuyNkjhZLTio0I1F/J7CN0y5s6Kt?= =?us-ascii?q?OkUkB0e8KkEIdOuCGAMYt7Wt0vTWFmtSs41LALuZC2cicJxZkm2hPSdv6KfpSG?= =?us-ascii?q?7B/9SuufITd2iW5ndb6hhxi/7Eitx/DgW8S20FhGszZJn9vKu3sQ2RLT7c2HRe?= =?us-ascii?q?F8/kenwTuP0Bzc5ftBIUAwj6bbLIQhwrEompocsETDAi/2mFjtg6OMakok/e2o?= =?us-ascii?q?5uL6abvlvp+RL5F4hhzgPqg0hMCzH+Y1PhITU2WZ4+iwyaDv8VXnTLlQkPE7na?= =?us-ascii?q?bUvIrHKckUoqO1GRJZ34gg5hu5Ejyoys4XnWMdI1JAYB+Hj5bmO1XJIP3gCPe/?= =?us-ascii?q?hEmskCtxy/HIILLuGY/BIWXdn7v5fLZ97VBTyBYrwNxB+p5YFKsNLOztVkLzrt?= =?us-ascii?q?DUEx00Pxapz+r6ENl905kRWWOLAq+XKqPStlqI6/ooLeaWfo8Vuyv9K+M/6/Dh?= =?us-ascii?q?iX85l0Udfaiv3ZsYc325EOppLF6DbXXxnNgNCX0KsRYmTOz2lF2CViZeaGqoUK?= =?us-ascii?q?I54jE3EYamDYbYRoCxm7GBxye6HphOZm9cEFyMEHHod5+FW/gWci6SLNVhwXQ4?= =?us-ascii?q?Uu2GT44/2Avmngb8x7djZr7T/iwGuIjL2tlv/PGVlBd3/zFuC8WblW2AGTJahG?= =?us-ascii?q?QNEho/xqNiugRQzlmZ0K53y6h9HMZQ+ugPfwM0L5/awMRlBtq0Vg+XLYTBc0qv?= =?us-ascii?q?XtjzWWJ5ddk22dJbJh8lQ4z/3CCG5DKjBvour5LOBJEw9fuHjX32Oto71HvMkq?= =?us-ascii?q?Us3QF/E5l/cFa+j6s6zDD9QovAkkGXjaGvJfYD0SSL+GrRlDPS7nEdaxZ5VOD+?= =?us-ascii?q?ZV5aflHf/Ybm60mEQ7L8Ubk=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D0AgDj7PlfhwsR49RiHgEBCxIMQIRwW?= =?us-ascii?q?DIuhD+REC0Dg32MV4toCwEDAQ0lBwECBAEBgVWCMUQCgXACHQcBBDQTAhABAQU?= =?us-ascii?q?BAQECAQMDBAETAQEBDA0JCCmFaAyCOCkBgxIBBAEjHQEBESYBBAsLGgImAgJXB?= =?us-ascii?q?g0IAQGDIgGCVAEDDiQLrS2BMoMEAQEGgTMBgRiCDR8sIk2BOQMGgQ4qjDh5Jg+?= =?us-ascii?q?BTT+BOIJELj6CXQICgV2DGIJgg0A9AgKBHSsEQpAQgn6lNSwHgWiBEoEcC4gEk?= =?us-ascii?q?igFCh+DKY9QDQYrjymfKJZTgW2BejMaJE+CaVAZDY4hGh2DOjOEYYVFQDMCCSw?= =?us-ascii?q?CBgEJAQEDCVkBAYx3AQE?= X-IPAS-Result: =?us-ascii?q?A0D0AgDj7PlfhwsR49RiHgEBCxIMQIRwWDIuhD+REC0Dg32?= =?us-ascii?q?MV4toCwEDAQ0lBwECBAEBgVWCMUQCgXACHQcBBDQTAhABAQUBAQECAQMDBAETA?= =?us-ascii?q?QEBDA0JCCmFaAyCOCkBgxIBBAEjHQEBESYBBAsLGgImAgJXBg0IAQGDIgGCVAE?= =?us-ascii?q?DDiQLrS2BMoMEAQEGgTMBgRiCDR8sIk2BOQMGgQ4qjDh5Jg+BTT+BOIJELj6CX?= =?us-ascii?q?QICgV2DGIJgg0A9AgKBHSsEQpAQgn6lNSwHgWiBEoEcC4gEkigFCh+DKY9QDQY?= =?us-ascii?q?rjymfKJZTgW2BejMaJE+CaVAZDY4hGh2DOjOEYYVFQDMCCSwCBgEJAQEDCVkBA?= =?us-ascii?q?Yx3AQE?= X-IronPort-AV: E=Sophos;i="5.79,334,1602540000"; d="scan'208";a="369522270" X-MGA-submission: =?us-ascii?q?MDG+L0cM+mwndJn4LxdT7iwudHw0jE4Sz4baqQ?= =?us-ascii?q?OZRMGO051t15jDvQxd1xLzr9HgM+dTVWWBPGT3psaWe/6e1h/hYC8I35?= =?us-ascii?q?mdCHKPeCeFhDNahz7g/REr6Kmn/NmUZFzPKIELyDZoj3KTz4ohubzZKD?= =?us-ascii?q?O1EebSajpnmZ0wos7aaoTanA=3D=3D?= Received: from mout.web.de ([212.227.17.11]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Jan 2021 18:52:27 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1610214742; bh=OWlkEp7rPMbWt4RQfdhHyD52khCC5fgi8wzprk9ToVk=; h=X-UI-Sender-Class:To:Cc:References:From:Subject:Date:In-Reply-To; b=QTQC8Eb/cIYszkYMbBqCzRGNwAjNIT2CBavMNUYISe+r6YyoVfJ7S5uFh7rMapJlQ V/GAl3VWKndzHt2Agw/f14jQHJLwb3HVI0P/6gEq923ytsATLOV0Ybhn4xf7/5VGQt vxQoCGRgphr6RbsTAaKUnmydy1JJSelLH2CjxH/U= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([2.244.149.138]) by smtp.web.de (mrweb103 [213.165.67.124]) with ESMTPSA (Nemesis) id 0Mb8sh-1kehC90UJv-00KhWL; Sat, 09 Jan 2021 18:52:22 +0100 To: Oliver Bandel Cc: Gabriel Scherer , caml-list@inria.fr References: <784c4a4e-96ae-d478-4116-b2f6e8fd8c7a@web.de> From: Markus Elfring Message-ID: Date: Sat, 9 Jan 2021 18:52:21 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K1:lK89VzPjnZTPzq8evrlKrn+9XXEC6Lx85OvKysxnLPxPNM/NJGx R8v0SWZ8K6qdvl8ukjVeupTsQkhJQJ3HI2Y5zdhmMOI6eP5kQi81AiPr8ByvuU/1bH2mNLK 1jY+8i5l+iC2/FWwmEIHWek7fYHr16KV6iZKVuNCNN0kno/HtD+VAZQzj/Pd20+sXAxOpqh KnA7fWPPoxhr4RX/nRXRA== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:hG7VTGpFuHE=:Ru1UjADnP4ol9RVYmoz7Vy +SuVPrcHqYkVZTT/QXs+/ZDc50esubP0lPNhk6spxjp+5XDt1+MT8r++jlWCGWaewxNeJc3I9 A6fF/akrMxmkaVWzwtqvtiaLktfNnnLWvHilPwCOyQ2wF4VcKj29EsnRm/QnleXatPPynz/4W OWB6n3XNc65PjHCyI6afbFK7CsJTQYdOdjPHpgN9wgEC+vA1p6txKB0gMtF+yXpxYez5GwK4o 5c778sdyAkEygCCxyEPVmxovJWzN9kqeUM5dTZSxPiROtU7H8mfAf8BvDiTJ4Nwf2dlqW+fAx j6HJTpx3HLZTYjyLQTAY3KDakFbQvs2p8AQtG6rhtm07Zvsgv2ZlmZnAvQ/mrN0sWKDW/iUDm IoEixyxkrqvgxcSMOEQzeXeZ8HwCrKThN7aeULOAkMKfMMwf8nGyDo1lVPB97TEDV/cBtr/IA 4TxT7WnIDtnqaPwrrY6f11SZ4bTydppm/qHBLrIxykwso6qkHzbewpiEOw05cppEedOsX+Y1u EcV5zMkT6WaTgPZ/HJbjQtABgz9cHPmn+MCkghj2IEiFfFBl2sgJf/GAUoZeYp05W3k4lYC1o oACxX2HYhRUT0/NzuQoUkpbdJorwc3h/ChxKUDYur8EhtMWOVarOnSp5k5GsnY+H1dPAZsfU5 MX8dpMHPkhjIz8b/M8wK/v24iFd/ja/cYQ7tqgnuDj0Fd6VdSO/YzAqt+q26KbTOOaOv4ldi/ tx8PEtMh5NxvqvI36r3GjNNn2tofoEQHL3BaE3tt3w6nc8xcYYouXbzapVrTibOCTysOd+18r u2jEVFeX3H/EjgsSioiNG32TNlRTFI9CmC5ps9r+tiY9tPvEil8CCEJfRoXnwPjA7vEH+yZm6 k/OyKel3mMWS8LEuIbJw== Subject: Re: [Caml-list] Determination of the identification for the last started background process Reply-To: Markus Elfring X-Loop: caml-list@inria.fr X-Sequence: 18358 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: >> https://ocaml.org/releases/4.11/htmlman/libref/UnixLabels.html#VALcreat= e_process >> >> Now I am curious which datum should be passed for the argument =E2=80= =9Cstdin=E2=80=9D >> if a program should be executed as a child process without extra standa= rd input? > [...] > > It would be much easier to point you to the right functions, Thanks for your growing development interest. > if you would give some more details on what you want to do, I became interested in the safe handling of commands for PostScript viewer= s. > e.g. an example command that you want to use, and to tell us, if you wan= t to pass data into it or read data from it, and so on. Would you like to add any comments to background information which was provided for code review with the commit =E2=80=9Cadd error chec= king=E2=80=9D (from 2020-12-24) for an evolving software? https://github.com/coccinelle/coccinelle/commit/4127b5546ccd929ae017565e71= 0a3c9092f0bb0c Regards, Markus