From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 30370BC69 for ; Tue, 23 Oct 2007 19:17:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGvJHUfAXQInh2dsb2JhbACCPTWLZAIBCAop X-IronPort-AV: E=Sophos;i="4.21,318,1188770400"; d="scan'208";a="3549549" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Oct 2007 19:17:13 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9NHHDeg012286 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 23 Oct 2007 19:17:13 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOzJHUfRVYC4nmdsb2JhbACCPTWLZAIBAQcEBik X-IronPort-AV: E=Sophos;i="4.21,318,1188770400"; d="scan'208";a="18523504" Received: from fk-out-0910.google.com ([209.85.128.184]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2007 19:17:13 +0200 Received: by fk-out-0910.google.com with SMTP id z22so1834196fkz for ; Tue, 23 Oct 2007 10:17:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; bh=up7zP+nyAXD06RvgpHxOfUU+Tj1hC3DNWyt2gcip4P0=; b=O9a1KlzM82mFXCIuT3OtEnn1YA1qMNSXcHo4bL0NiAZPyi7T1k7VdWjgqVutP5IDgyen0/Be2GIIm+IJWurg6J6REwVqE7wpMO8tQGrOTWpxxdVVSi9WLgeIlNQbhm1EO09mj5l4PsIQboFCZu8SxZTtNBxANc8E07dLmckUjIY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=BCGCPdnmC89y403kTTqlRcn/A/jhetygW2fdbz7urmVRz8S3oOZvhqNpqMo4b0dgsiNvms5dC1jJBMiTXYWerPuF4VqkDnX2RnCFosMcNWd7ppwWzn9HLO3s3pQJU2aaup0ztral36alJGk3lMlUNgGfg3Fo+THNAK9Zo9S4u5Q= Received: by 10.82.172.10 with SMTP id u10mr5018069bue.1193159832260; Tue, 23 Oct 2007 10:17:12 -0700 (PDT) Received: by 10.82.119.3 with HTTP; Tue, 23 Oct 2007 10:17:12 -0700 (PDT) Message-ID: Date: Tue, 23 Oct 2007 13:17:12 -0400 From: "Orlin Grigorov" To: "Dave Benjamin" Subject: Re: [Caml-list] How to monitor a specific file for changes Cc: caml-list@inria.fr In-Reply-To: <471DA7DE.5090006@ramenlabs.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_2093_22907578.1193159832254" References: <20071023052001.517e957e.mle+ocaml@mega-nerd.com> <471CFD24.30805@1969web.com> <471DA7DE.5090006@ramenlabs.com> X-Miltered: at concorde with ID 471E2C99.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; byte:01 largefile:01 largefile:01 byte:01 wrote:01 wrote:01 unix:01 unix:01 integer:01 integer:01 caml-list:01 int:01 int:01 benjamin:01 benjamin:01 ------=_Part_2093_22907578.1193159832254 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Thanks Dave. Actually, the files are not large, these are output text files from another program, and I can't imagine a situation where the byte size can exceed a 32 bit integer. Best, Orlin On 10/23/07, Dave Benjamin wrote: > > Orlin Grigorov wrote: > > Using "Unix.stat" works perfectly for my purpose! On both platforms, > > hurray! THANK YOU! > > You may wish to consider "Unix.LargeFile.stat" if there is the > possibility that some of these files may be large, since st_size > contains the file size in bytes. Unix.st_size is an int, whereas > Unix.LargeFile.st_size is an int64. > > Dave > ------=_Part_2093_22907578.1193159832254 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Thanks Dave.  Actually, the files are not large, these are output text files from another program, and I can't imagine a situation where the byte size can exceed a 32 bit integer.

Best,

Orlin

On 10/23/07, Dave Benjamin <dave@ramenlabs.com> wrote:
Orlin Grigorov wrote:
> Using "Unix.stat" works perfectly for my purpose!   On both platforms,
> hurray!    THANK YOU!

You may wish to consider "Unix.LargeFile.stat" if there is the
possibility that some of these files may be large, since st_size
contains the file size in bytes. Unix.st_size is an int, whereas
Unix.LargeFile.st_size is an int64.

Dave

------=_Part_2093_22907578.1193159832254--