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 C23115D5 for ; Sat, 9 Jan 2021 18:00:35 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,334,1602540000"; d="scan'208";a="486250743" 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 19:00:32 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A9C02E6FE8; Sat, 9 Jan 2021 19:00:32 +0100 (CET) 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 90D6BE6B59 for ; Sat, 9 Jan 2021 19:00:29 +0100 (CET) Authentication-Results: mail2-smtp-roc.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=3AF3alhRTLonWHsIiHTIbCvYoGJNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zYxeN2/xhgRfzUJnB7Loc0qyK6v+mAzBfqsjc+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi0oAnLqMUbjolvJqkwxxbJv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/XrJgcJskq1UvBOhpwR+w4HKZoGVKOF+db7Zcd8DWGZNQtpdWylHD4ih?= =?us-ascii?q?bYUAEvABMP5GoYnzp1UAsBiwCweiC+zgyDBHmmT73bEm3+k7DQ3KwAItEtAIvX?= =?us-ascii?q?/JrNv1LqASUeWtwafP1zrDdfBW2Srm6IPVfR4hpf+MXahxccrXxkkkCgTIgFKK?= =?us-ascii?q?poz/PDOVy/8Nv3KU4epkW+KvkW8nqwd+ojW0yMYjlJLGipgIxV/a7Ch0xps+Kt?= =?us-ascii?q?KkRkBhe9GkDIdQuD+AN4twWs4vX2NltSk4x7MGpJK2fTUGxZYoyhPcaPGKfZSF?= =?us-ascii?q?7wzgWeuePzt2i25oda+/ihuz/0Ws1PHwW8eq3VtUsCdLktbCu3YQ3BLd7ciHT+?= =?us-ascii?q?Fy/kan2TuX0ADc9vtLIUUwlabBLJ4h2LEwm5wOukrABi/7gFv6gLKIekk+5OSk?= =?us-ascii?q?9ebqbq/7qpKeLYN4lxzyPrwwlsClH+g1PQcDU3KG9emz0LDv51D1TbtJg/Awj6?= =?us-ascii?q?LXqorVJd4Bqa68GwJV0pgs6xK4Dzq+1dQYmmQHLE5fdBOJkYfmIEvCL+3mAvun?= =?us-ascii?q?glSslilkx+zeM7H/H5nBMGLPnKn/cbt/8UJQ1Qg+wcpC655JEr0BJej8Wk71tN?= =?us-ascii?q?zWFB85NAm0zv7gBtpnzIMeWn+PArSDPK3dtV+I6PgvI+iKZI8aozv8JeYq6OX0?= =?us-ascii?q?gXAkh1ARZbOp0ocPaHCkAvRmJF2UYHXogtgfC2cKuQo/QffriV2DVD5cfGyyUL?= =?us-ascii?q?gm6jE6DoKmF4bDSZq3jLyPxiexBodWaXxeClCQDXfocJ2JVOsWZyKXJs9tizgE?= =?us-ascii?q?Vbm6S489zhyurw/7y79/LuXO4CEYtJTj1MJ05+LJjx0y+yZ0XIyh1DSqS2Bqk3?= =?us-ascii?q?lAbTYw0K176Rh6zlad3LJQjf1CDsAV5vUMWAogMZ/aieB3XYPcQAXEK/KAUlW7?= =?us-ascii?q?WZ2LBT8rT9Q+i4sralx+Bs7koxTNxSusDJcKmrbNCJFiofGU5GT4O8sokyWO76?= =?us-ascii?q?ImlVRzB5IXbTT71J46zBDaAsvyq2vcl6uucv1HjivK6XvF0meE+k1VAlYpDff1?= =?us-ascii?q?GEsHb06TluzXo1vYRu/8FrktdAdMm5bbe/l6L+bxhFADf8/NfdHXYma/gWC1VU?= =?us-ascii?q?SXy7nKYIe4Img=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CnCQAC7vlfhwsR49RiHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQFAgU8CAYMeWDIuhD+REDCDfYxXiW2BewsBAwENJQcBAgQBAYQGRAK?= =?us-ascii?q?BcAIdBwEENgQNAhABAQUBAQECAQMDBAETAQEBDA0JCCmFaAxDFgGBXikBgxIBB?= =?us-ascii?q?AEjHQEBESYBBAsLGgImAgJXBg0IAQGDIgGCVAEDDiQLrS6BMoMEAQEGgkyCDR8?= =?us-ascii?q?sIk2BOQMGgQ4qjDh5Jg+BTT+BOIJELj6CXQSEdYJgg30CAoFIuQksB4FogRKBH?= =?us-ascii?q?AuIBJIoBQofgxcBj2ENBo9UnyiWU4FwCoFtMxokT4JpUBkNjiEMDgkUg22EYYV?= =?us-ascii?q?FQDMCNQIGCgEBAwlZAQGIAYR2AQE?= X-IPAS-Result: =?us-ascii?q?A0CnCQAC7vlfhwsR49RiHAEBAQEBAQcBARIBAQQEAQFAgU8?= =?us-ascii?q?CAYMeWDIuhD+REDCDfYxXiW2BewsBAwENJQcBAgQBAYQGRAKBcAIdBwEENgQNA?= =?us-ascii?q?hABAQUBAQECAQMDBAETAQEBDA0JCCmFaAxDFgGBXikBgxIBBAEjHQEBESYBBAs?= =?us-ascii?q?LGgImAgJXBg0IAQGDIgGCVAEDDiQLrS6BMoMEAQEGgkyCDR8sIk2BOQMGgQ4qj?= =?us-ascii?q?Dh5Jg+BTT+BOIJELj6CXQSEdYJgg30CAoFIuQksB4FogRKBHAuIBJIoBQofgxc?= =?us-ascii?q?Bj2ENBo9UnyiWU4FwCoFtMxokT4JpUBkNjiEMDgkUg22EYYVFQDMCNQIGCgEBA?= =?us-ascii?q?wlZAQGIAYR2AQE?= X-IronPort-AV: E=Sophos;i="5.79,334,1602540000"; d="scan'208";a="486250716" X-MGA-submission: =?us-ascii?q?MDGjUsbeWcUrMa84D90FAIVeRyIacEOF3T6Gs1?= =?us-ascii?q?e28emhlp+XMjziy2A1hZwxUov2oxKfe+qx83nS0gD3FqwyKDT8NmlM41?= =?us-ascii?q?nZCWMvwGjU49fdXC6tp/aVAar5gFuLxQy4IdrB/Z4hRQbKtwUv0hwwKz?= =?us-ascii?q?UdU0826y6B2h0Phf5CATYgnQ=3D=3D?= Received: from mout.web.de ([212.227.17.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Jan 2021 19:00:29 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1610215225; bh=UB8Pzt1lcYAwOX0x5+Xr//XmpbYJy75AHjH+s0o5k6k=; h=X-UI-Sender-Class:To:Cc:References:From:Subject:Date:In-Reply-To; b=DpAJT9kxk49N4Tz9z6glvyBLtvTynZDlZgNuO/tP5LzkKCZcFheCHbzu2lWuPG2jn Xh3QwNnQFYmPnbI5jZOjtr2Ai8XMfwbPE5c6uV+FSG9odIiQgbc3sXznfyQss6uzVX kun1HdzXwbATijgR1Wmi8B3cg9jS4MiofICM5XCQ= 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 0LtnvF-1jzHWG0ckf-011DPf; Sat, 09 Jan 2021 19:00:25 +0100 To: Oliver Bandel Cc: Xavier Leroy , caml-list@inria.fr References: From: Markus Elfring Message-ID: Date: Sat, 9 Jan 2021 19:00:24 +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 X-Provags-ID: V03:K1:srQMsRTZlxNyll34B7Ul+QlKinNreFF0wWNOMoWYFn76CXwHXab yN536YYMKhbJNo8sxeYYsqb0vfJwODOnXiLGYPxoDOrLIik0rLR41nC+Kq5HipFLuyRhORW lrOXjZBPDFNgtvHaZ7Qf5bgTy0FJ+aLqJ4hrfXfVGAh75rjcnQxLxNO9YK0tpML8xCObhr9 6oVufo6EqGWAF8Mq9znXA== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:Q8cK9yzDiuk=:grASiHwiHXqyU2dk5kWEjq NpyDzUZ0S0H+5SR8tnZKqcn6VsDzqcHxv+WA7oZpcT8TWqYZ+yX2Czxl7prA70Qlw/oUsxGpE 9kcwc7ueyCqgmvGktE7RFqVbd7B6nPz31+iwWIu2QoI8YolnReJ7WfvWd+FTeEwxiKfNl0lPe e11eAqEuTX4HUh623cpAWHMSUJSrg2SGxeIWb6ix83jHk0gPyeLZiiagDXYbd/KSowphZs8Nu 1j0aCoKhR6Vw/iUbAme6m1YfdO2uuoDRcINM/KdDJSB7N956zTZ6gKnNkEj37tl2ytQLptRur tyzcsLmW1rJYmJXyNHKOBMRtO7h5Qfq39BXkjjutYpVS3mB6VreoisUfOuk06f6sRJcElq7ud m4Kv9WB6mSZ7jQC3yzNo9altdzgueKX2crYWNq9WeB6//8e/Zy5Avav9b0D0OOKSz92CduW2U 8mEB3kmAaKDHX8pzeCuhgDanBmBVMGkAfPFxjAKNDhpTAhK3E0/iDvL1Ee9/5kXRKsitr5h// FpbHmvOlYkZook4hBYZq/rffAC0mP0FFiD07CuH+AHRk7TzSeApA0V9qEAm7aIgCm1CrdeEIl Y9xGelBVSw13+uX0Sr3gqGv8T+BV7C5asWgv9qopwYN/NSAfisx8gDCud9vMZHFDVqsOk2O62 GQbve7s0HrN+oUIah2IE7bvB1imA2PZqreR1dYB5P0p4DAGHybkH4qEyZRTxixQQWZ4fOpCKf 44uz4PZP4P6q89liyD8bhJfD4FDRu+ODzWe4Ry0LEKoRwwY3p0hySGKM9w2e1b7f99CH1mXaT XwI8eyYcSNA4tI4XMVmrFBwR7ACqkB13T8pKr5+6GGyGznKYnlFPvUxqFsyEP1F/2NMWU6bYC NphWx3Msz8SbG7Q8NL7A== 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: 18359 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: > Do you mean the process ID, when talking about "an identification"? Yes. > Do you really need it? I imagine that a PID will be needed so that a corresponding wait function call can be performed finally. https://ocaml.org/releases/4.11/htmlman/libref/UnixLabels.html#VALwaitpid Regards, Markus