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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4B1BC80070 for ; Wed, 7 Dec 2016 23:47:52 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anders@fugmann.net; spf=Pass smtp.mailfrom=anders@fugmann.net; spf=None smtp.helo=postmaster@gw.fugmann.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anders@fugmann.net) identity=pra; client-ip=90.184.102.122; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anders@fugmann.net"; x-sender="anders@fugmann.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of anders@fugmann.net designates 90.184.102.122 as permitted sender) identity=mailfrom; client-ip=90.184.102.122; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anders@fugmann.net"; x-sender="anders@fugmann.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@gw.fugmann.net) identity=helo; client-ip=90.184.102.122; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anders@fugmann.net"; x-sender="postmaster@gw.fugmann.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AJwXSFBHiJAeWb8bt9eV53Z1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76r8WwAkXT6L1XgUPTWs2DsrQf2rGQ7vurATVIoc7Y9itdINoUD15NoP?= =?us-ascii?q?5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScaBx/iwgviz8JPXZDISrCWwa/V+IVH+pgzUsowSgJB+Aqc30BrA5HVSKM?= =?us-ascii?q?pMwmY9DFSfkgznrumt85tq9SIY7/sn+8NaSo30Yqs9RLpeSjIrLzZmt4XQqRDf?= =?us-ascii?q?QF7XtTMnWWIMn08QDg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CPDAAIkUhY/3pmuFpeGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgmklAQEBAQEfWoEABqRYlwYlhX0CgX1DEAE?= =?us-ascii?q?BAQEBAQEBAQEBYShCAQEDCQSBXxiCHgEFIxUIAQE4DwsYAgImAgJXBwwGAgKIU?= =?us-ascii?q?QMYAwEEpz1ogimDDAEBBYQjIoNgKQiBC4cwgl6EMoMagl2abIZOizSBXI19iSs?= =?us-ascii?q?nHYQWhA42IHgTDiODKoIJcYFbgVSFcQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CPDAAIkUhY/3pmuFpeGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgmklAQEBAQEfWoEABqRYlwYlhX0CgX1DEAEBAQEBAQEBAQEBY?= =?us-ascii?q?ShCAQEDCQSBXxiCHgEFIxUIAQE4DwsYAgImAgJXBwwGAgKIUQMYAwEEpz1ogim?= =?us-ascii?q?DDAEBBYQjIoNgKQiBC4cwgl6EMoMagl2abIZOizSBXI19iSsnHYQWhA42IHgTD?= =?us-ascii?q?iODKoIJcYFbgVSFcQEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,315,1477954800"; d="scan'208";a="248586360" Received: from gw.fugmann.net ([90.184.102.122]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Dec 2016 23:47:51 +0100 Received: from [IPv6:2001:470:dc46:1:225:22ff:fe81:9ef3] (marvin.fugmann.net [IPv6:2001:470:dc46:1:225:22ff:fe81:9ef3]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by gw.fugmann.net (Postfix) with ESMTPSA id 6AAE44812AF7; Wed, 7 Dec 2016 23:47:20 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=fugmann.net; s=mail; t=1481150840; bh=vkFLYvhOV7liwlJgRUVlI21e+l99MeFxBswV3+p0jvk=; h=Subject:To:References:From:Date:In-Reply-To:From; b=x6HiOKcPX5Zq3bLRxexsswog96otVvQxcPHGAcyqkCC8/dHwScanXFKKZ1qDKB8Sx 0BOSCDcGqFCFaxQnXOlozBQf1nmMFr6+0q24y7bJfF1uiflWFWEONBwFFwSPuoIn0c qx/zX0q7AHHWF0ew/5PcaVZGodVFRv4DJZFB/tws= To: picflo_2@web.de, caml-list@inria.fr References: From: Anders Fugmann Message-ID: Date: Wed, 7 Dec 2016 23:47:20 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Garbage collector problem Hi Florian, This error is produced by ocaml-zmq bindings when finalizer is called on a context that has not been explicitly closed. You should make sure the call Context.terminate on the context before exiting your program to make sure that all messages are flushed properly. /Anders On 2016-12-07 23:30, picflo_2@web.de wrote: > Hi, > > I use Lwt and Zmq for a distributed system. I added pings to check if a > server is still alive, but after exchanging a couple of messages > I get this Error: Context not closed before finalization. > > I have posted the minimal reproducer on pastebin > > The client: http://pastebin.com/wDLZYQmf > and > The server: http://pastebin.com/gdpbXh3x > > Is there some obvious mistake i have made or should I just file a bug > report for the lwt zmq bindings? > > Best regards, > > Florian