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 ESMTP id 615E35D5 for ; Sat, 9 Jan 2021 16:34:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,334,1602540000"; d="scan'208,217";a="486245299" 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 17:33:56 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 696CAE6FE3; Sat, 9 Jan 2021 17:33:56 +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 BD446E6B59 for ; Sat, 9 Jan 2021 17:33:51 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f174.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AK7tSyBIIdfKeh2XIztmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfKf/xwZ3uMQTl6Ol3ixeRBMOHsq0C0baJ+P69EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCe/bL9oMhm7ogfcusYXjIZiN6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhT?= =?us-ascii?q?wZPDAl7m7Yls1wjLpaoB2/oRx/35XUa5yROPZnY6/RYc8WSW9HU81MVSJOH5m8?= =?us-ascii?q?YpMAAOoPP+lWr4fzqVgToxWgGQahH/ngxiNSi3LswaE2z+YsHAfb1wIgBdIOt3?= =?us-ascii?q?HUoc30OqgISu+11qjIwivHb/hLxDny9IjIfQ47of6SR7J7bM3cyUY1GAzelFWQ?= =?us-ascii?q?qJLqPzeP2uQWr2eb7/RvVfixhG49sAxxrT2vyd0tionNnI4a1lfE9SBgzYszON?= =?us-ascii?q?a3R1J1b8S+H5tMqyGVKZF2QsU6TmxopSo0xKMKt5CncCULyJkqxhrSZfObf4WL?= =?us-ascii?q?/x/uWvqdLDR6iX9ne7+yhRi//Fagx+DyS8S51FhHoCpLnNXRtn0A0QHY5MaASv?= =?us-ascii?q?t45Eih2DCP2hjU6u5YO080kK7bJ4Qmwr4qmZoet1nIECzumEjukqOaakEp9vKr?= =?us-ascii?q?5unneLnqu56RO5Nuhg3jMKkjlcqyCvkiPAcURWiU4+G82aXj/ULnRLVKieU7kq?= =?us-ascii?q?zDv5DbIcQXv7e5AxNI3oo65RazEjWr3dsCkXkIK1JFfx2Hj4z3NF3UPP/4CvK/?= =?us-ascii?q?j0ytkDdt2f/GIqXsDovRInXHirvsfrZw51RBxAcy0dxT/Y9YB7MOLf7rX0/+rt?= =?us-ascii?q?3YDhs3MwyuxObnDc1w1owEVm2UGK+ZMb3dsVuS6uI0P+aMZJEauCzjJPg//PPu?= =?us-ascii?q?gno5lkUcfamtx5cYdHe4HvF+L0WDfXXsmssBEXsNvgcmUOPlkliCUTpKa3a2Xq?= =?us-ascii?q?I8/S07BZm9DYbDQ4CtmKaO0D26Hp1QfGBGC0qDHW3md4WeCL8wb3e3K9VijydM?= =?us-ascii?q?eLyvUY4n2ln6kQbgyKd8aMfQ9DcZs53Ly9V/oeHew0Ic7ztxWuuU2XuMQmU8pW?= =?us-ascii?q?gISiU7xugrrkV30FaO1e5jiPxVD9FJz/xMWwY+c5XbyropWJjJRgvdc4LRGx6d?= =?us-ascii?q?SdK8DGR0F4ppmo5cUwNGA9ynyyv78W+vCr4RmaaMAcVtoK3Z1nn1Yc16ziSfjf?= =?us-ascii?q?RzvxwdWsJKcFaeqOt/+gzUXdCblkyYk+Ozaf1Z0neSqCGMym2BuEweWwl1A/2c?= =?us-ascii?q?ASIvI3DOpNG83XvsCqe0AO1+YAREwM+GbKBNb4+xgA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CTAQAe2vlff66gVdFiHgEBCxIMggQLg?= =?us-ascii?q?yFXMy6EP4EekB+LJ5EVCwEDAQ0lCgQBAYQGRAKBcAIdBwEEMwYOAhABAQUBAQE?= =?us-ascii?q?CAQMDBAETAQENCwsIJ4VqDII4KQGDEgEBAwESER0BGx0BAwELBgUEAQY3AgIiA?= =?us-ascii?q?REBBQEcBhMIGoMFglQBAw4gD6BFgQQ9izSBFQUBF4MFBoRGChkoDRVNA4E2AgE?= =?us-ascii?q?GEoEmhV+BEwGGPiYPgU0/gUeCNS4+gl0EggqCa4JgBIN5AgKBSASbap0bLAeCe?= =?us-ascii?q?oEXBQuIBJI0IqJgnyiWQxAjgUmBezMaI1AxgjhQGQ2OITeDOoUUhUVDMAI1AgY?= =?us-ascii?q?BCQEBAwmNUgEB?= X-IPAS-Result: =?us-ascii?q?A0CTAQAe2vlff66gVdFiHgEBCxIMggQLgyFXMy6EP4EekB+?= =?us-ascii?q?LJ5EVCwEDAQ0lCgQBAYQGRAKBcAIdBwEEMwYOAhABAQUBAQECAQMDBAETAQENC?= =?us-ascii?q?wsIJ4VqDII4KQGDEgEBAwESER0BGx0BAwELBgUEAQY3AgIiAREBBQEcBhMIGoM?= =?us-ascii?q?FglQBAw4gD6BFgQQ9izSBFQUBF4MFBoRGChkoDRVNA4E2AgEGEoEmhV+BEwGGP?= =?us-ascii?q?iYPgU0/gUeCNS4+gl0EggqCa4JgBIN5AgKBSASbap0bLAeCeoEXBQuIBJI0IqJ?= =?us-ascii?q?gnyiWQxAjgUmBezMaI1AxgjhQGQ2OITeDOoUUhUVDMAI1AgYBCQEBAwmNUgEB?= X-IronPort-AV: E=Sophos;i="5.79,334,1602540000"; d="scan'208,217";a="486245253" X-MGA-submission: =?us-ascii?q?MDE6nhTEPHjJK6DgNIEI6ReEgLoOM0bVH3SLFq?= =?us-ascii?q?7rqbArJQVrvegRPIetFgzCuCBggZB6oA/VmbaF+hjR6l6z/MF/NuYPIm?= =?us-ascii?q?6d4F2hGqBQyG/O8DmYH2+TZH8lsjE/Gfjimo2Oha/juqUIc4XTZHbp2B?= =?us-ascii?q?4qG3Urjy0vFGVGFJBLhivFlA=3D=3D?= Received: from mail-qt1-f174.google.com ([209.85.160.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Jan 2021 17:33:50 +0100 Received: by mail-qt1-f174.google.com with SMTP id v5so8648546qtv.7 for ; Sat, 09 Jan 2021 08:33:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=LeRFnCsfHRMLFFTZFXKAvd06iddy8CO81uXH3K4Vfwc=; b=VUjX8rzWtTXQ5QVebDdHZtIicT0ctnBjCqnsv2A97DFAQ2j1/yg/r3lw7cyAmAieM9 z4zu9q6EBHZnmjuigAM3vjpnkJ+cBxXS07ocIIQKJN5GU5R/Y6QHda5+BiFFMb7njkWp Q7OZRznXCnb2puaSM01pEEg8gAf9ewwsLPR/YpMTI73GPzdNoGQzOmr8CKU0PA2miVpG 7fgX1dtvC5Aw6s6Q1CaDJKndskzvM/+/AHZdrp11atXKDD5wqePq9hrta2gmIeU0nRR2 ZzQpHdL0hm8YJSsb1bnlx+RyCFbTErSrUT7kK4MmUrFKMl9SQx/ah600edYCgW+hcdtM 6zzA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=LeRFnCsfHRMLFFTZFXKAvd06iddy8CO81uXH3K4Vfwc=; b=gkN4s9vXrzdapf1BXwoxh8gLNPhk9JqO5ZYiLsSdE1IklWP9v/Shbf6IJeTrk88C9/ BRou2pj+lsfMXGy1WzICteL1a9t2YjMN2XhLdLBV7u4zDADd9tn6y/YlrcP5Vrl4/Njy ecsgyIah4vqvWvw8OGSMC7w9faeRiTZUpaZ6YoktlGjJkJJ0xKSkEH+m90BXkxu2qVqS I3coHZx3olnizyO5Adjr4dGatPqbQuJNAvY4NymmXXYzBVRwooG2MIfDS8zzMl6b+Ty6 cvV+Q4PZjORiW2FjvZFAt9/LnAmtMGSKtBV3DfOYrv3Nzq4Umm0QGwi0VYCjupW1bZju otsw== X-Gm-Message-State: AOAM5321aEhwQDwEkgBDWZMB9usmOPPrZE17b2bXr4RXF8rhUaCli/TS /yIzSvAzN6QdEO+AInnlsE9EA27BjFAvJXCRC1W5mDUf X-Google-Smtp-Source: ABdhPJxboCQsczMsUEIWRZ8nnGS2S0Q7kQaQhgfWSXuWwsmGadsAHoIWawJqH826bGpGymizcI8MhxqZIsVc78qg9DU= X-Received: by 2002:ac8:5286:: with SMTP id s6mr8587749qtn.22.1610210029732; Sat, 09 Jan 2021 08:33:49 -0800 (PST) MIME-Version: 1.0 References: <784c4a4e-96ae-d478-4116-b2f6e8fd8c7a@web.de> In-Reply-To: <784c4a4e-96ae-d478-4116-b2f6e8fd8c7a@web.de> From: Gabriel Scherer Date: Sat, 9 Jan 2021 17:33:14 +0100 Message-ID: To: Markus Elfring Cc: caml users Content-Type: multipart/alternative; boundary="000000000000d6059005b87a3c1b" Subject: Re: [Caml-list] Determination of the identification for the last started background process Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 18352 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: --000000000000d6059005b87a3c1b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable My understanding is that if "prog" is the name of the program to run, then Unix.system (Filename.quote_command prog args) is equivalent to Unix.create_process prog args ~stdin:Unix.stdin ~stdout:Unix.stdout ~stderr:Unix.stderr or (shorter) Unix.(create_process prog args ~stdin ~stdour ~stderr) On Sat, Jan 9, 2021 at 5:08 PM Markus Elfring wrote= : > > You may be looking for the > > > > Unix.create_process > > This function needs more input parameters than =E2=80=9CUnix.system=E2=80= =9D. > > https://ocaml.org/releases/4.11/htmlman/libref/UnixLabels.html#VALcreate_= process > > Now I am curious which datum should be passed for the argument =E2=80=9Cs= tdin=E2=80=9D > if a program should be executed as a child process without extra standard > input? > > Regards, > Markus > --000000000000d6059005b87a3c1b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
My understanding is that if "prog" is the n= ame of the program to run, then

=C2=A0 Unix.sy= stem (Filename.quote_command prog args)

is equ= ivalent to

=C2=A0 Unix.create_process prog args ~s= tdin:Unix.stdin ~stdout:Unix.stdout ~stderr:Unix.stderr

or (shorter)

=C2=A0 Unix.(create_process= prog args ~stdin ~stdour ~stderr)

On Sat, Jan 9, 2021 at 5:08 PM = Markus Elfring <Markus.Elfring@= web.de> wrote:
> You may be looking for the
>
> =C2=A0 Unix.create_process

This function needs more input parameters than =E2=80=9CUnix.system=E2=80= =9D.
https://ocaml.org/re= leases/4.11/htmlman/libref/UnixLabels.html#VALcreate_process

Now I am curious which datum should be passed for the argument =E2=80=9Cstd= in=E2=80=9D
if a program should be executed as a child process without extra standard i= nput?

Regards,
Markus
--000000000000d6059005b87a3c1b--