= Cheers,= =

R.

=
=0D=0A

=0D=0AThis message and any attachment are intended solely= for the addressee and may=20=0D=0Acontain confidential information. If= you have received this message in error,=20=0D=0Aplease send it back t= o me, and immediately delete it. Please do not use,=20=0D=0Acopy or d= isclose the information contained in this message or in any attachment.= =20=0D=0AAny views or opinions expressed by the author of this email d= o not necessarily=20=0D=0Areflect the views of the University of Nottin= gham.=0D=0A

=0D=0A

=0D=0AThis message has been checked for viruses= but the contents of an attachment=0D=0Amay still contain software viru= ses which could damage your computer system:=0D=0Ayou are advised to pe= rform your own checks. Email communications with the=0D=0AUniversity of= Nottingham may be monitored as permitted by UK legislation.=0D=0A

= = From avsm2@cl.cam.ac.uk Thu Nov 01 13:28:37 2012 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TTup3-0005FM-Sf (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 01 Nov 2012 13:28:37 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1404039 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:30516 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1TTup3-0000Y4-R1 (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 01 Nov 2012 13:28:37 +0000 Received: (qmail 25731 invoked by uid 634); 1 Nov 2012 13:28:36 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from no-dns-yet.demon.co.uk (HELO [192.168.14.33]) (62.49.66.12) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Thu, 01 Nov 2012 13:28:36 +0000 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) Subject: Re: Mirage Installation From: Anil Madhavapeddy In-Reply-To: <0B9DA7D0-064D-4D3F-A074-879CA6164E5E@nottingham.ac.uk> Date: Thu, 1 Nov 2012 13:28:34 +0000 Content-Transfer-Encoding: quoted-printable Message-Id: References: <508E98BE.8020202@cl.cam.ac.uk> <1E51541A-D4F9-46CC-BE1C-91603CDD3B2A@cl.cam.ac.uk> <0B9DA7D0-064D-4D3F-A074-879CA6164E5E@nottingham.ac.uk> To: Richard Mortier X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Dimosthenis Pediaditakis , "cl-mirage@lists.cam.ac.uk List" X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 01 Nov 2012 13:28:37 -0000 Content-Length: 850 Lines: 28 On 1 Nov 2012, at 12:42, Richard Mortier = wrote: >=20 > On 30 Oct 2012, at 23:15, Anil Madhavapeddy wrote: >=20 >> However, there's a small quirk to be aware of. The opam package = manager remotes pointing to git:// urls might not be refreshed unless = you do: >>=20 >> $ opam pin mirage-platform git://github.com/mirage/mirage-platform >> $ opam update >> $ opam upgrade >=20 > ok, i'll bite- why? :) >=20 Thomas added 'pin' after the git:// URL feature, so it may be a = bug/unexpected interaction/feature. Unsure which, and he's having a = well-deserved sailing vacation right now, so will have to wait for him = to come back in a few days to know the truth! For our purposes right now, just call 'opam pin' to ensure that = repositories are refreshed. I'll update the instructions accordingly... -anil From anil@recoil.org Sun Nov 04 18:28:10 2012 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TV4va-00002X-7W (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 04 Nov 2012 18:28:10 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1405308 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:30169 helo=dark.recoil.org) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp id 1TV4vZ-00021h-Yy (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Sun, 04 Nov 2012 18:28:10 +0000 Received: (qmail 17252 invoked by uid 634); 4 Nov 2012 18:28:09 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginmedia.com (HELO [192.168.1.38]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Sun, 04 Nov 2012 18:28:09 +0000 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Subject: mirage-platform 0.4.1 released Message-Id: <9ABBF110-89D9-4517-99D1-7BDA32BDFCFD@recoil.org> Date: Sun, 4 Nov 2012 18:28:07 +0000 To: "cl-mirage@lists.cam.ac.uk List" Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 04 Nov 2012 18:28:10 -0000 Content-Length: 1022 Lines: 31 I've released a new 0.4.1 version of Mirage-platform with the following bugfixes (mainly from Dave Scott): ===== 0.4.1 (04-Nov-2012) ===== * [xen] fix incorrect reference counting in Io_pages that could potentially cause pages to be reused too early. * [xen] move Xenstore protocol implementation out to a separate library that provides it as a functor. * [unix] ignore SIGPIPE in the OS.Main.run function. This is available on OPAM and fixes the stability issues with large network transfers that Balraj was seeing. I have also merged into trunk (0.5.0) the new NS3 simulation backend that Haris has been working on: ===== 0.5.0 (unreleased) ===== * [ns3] Add NS3-based simulator backend. * [unix] Add pcap-based Ethernet access in addition to tuntap. This requires a bit more work to make it ready for action, but if you're interested in it then get in touch with Haris and me. It shouldn't affect normal UNIX/Xen use and is not compiled by default, so build breakages shouldn't be a problem. cheers Anil From anil@recoil.org Thu Nov 08 11:19:13 2012 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TWQ8f-0003jN-Cx (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 08 Nov 2012 11:19:13 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1406499 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:28935 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1TWQ8e-0007yQ-SD (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 08 Nov 2012 11:19:13 +0000 Received: (qmail 9190 invoked by uid 634); 8 Nov 2012 11:19:12 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from no-dns-yet.demon.co.uk (HELO [192.168.15.192]) (62.49.66.12) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Thu, 08 Nov 2012 11:19:12 +0000 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: OASIS+xen Message-Id: <2B956734-FF5D-4F1A-939B-BE069E2BA712@recoil.org> Date: Thu, 8 Nov 2012 11:19:12 +0000 To: "cl-mirage@lists.cam.ac.uk List" Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 08 Nov 2012 11:19:13 -0000 Content-Length: 960 Lines: 24 There's been some confusion about the best way to build a Mirage Xen = package using the new multi-repository model. Part of the issue is that the old monolithic build system hid a lot of = the build nonsense away from the user, but this is a more exposed now. I've got a fork of OASIS that has been patched to generate a .xen = target, which is available from: http://github.com/avsm/oasis in the `add-xen` branch. However, it's a real pain working with ocamlbuild, and I'm not sure I = want to upstream this patch into OASIS. Therefore Raphael Proust is currently looking at writing an OASIS plugin = that will output a simple sh configure script and Makefile with the = needed commands. This should hopefully make life an awful lot easier, as = the build process will simply be "OASIS" and "Makefile", which are both = rather better understood than ocamlbuild. TLDR; use my patched OASIS for now, Raphael is fixing it properly = though! cheers, Anil= From anil@recoil.org Wed Nov 14 17:33:33 2012 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TYgqD-00006N-HX (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 17:33:33 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1408637 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:33121 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1TYgqC-0005ip-Ra (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 17:33:33 +0000 Received: (qmail 28706 invoked by uid 634); 14 Nov 2012 17:33:32 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.0.83]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 14 Nov 2012 17:33:32 +0000 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: HTTP client q Date: Wed, 14 Nov 2012 17:33:31 +0000 Message-Id: <55DA61B6-923A-4693-9D16-A435241D4913@recoil.org> To: "cl-mirage@lists.cam.ac.uk List" Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: David Sheets X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 14 Nov 2012 17:33:33 -0000 Content-Length: 514 Lines: 13 To the HTTP heads out there, is it ok for a single HTTP request (no = pipelining) to always include "Connection: close" in the headers? In Cohttp, we currently don't do this, and it appears that every single = client has to include the header, or risk the other side not closing the = connection cleanly. I'm modifying Cohttp to always send the Connection header when a single = get/put/post/head request is issued, but *not* when the more advanced = pipeline API calls are used. Does this sound sane? -anil= From thomas.gazagnaire@gmail.com Wed Nov 14 17:42:24 2012 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TYgym-0000PH-J1 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 17:42:24 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1408637 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.212.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (thomas.gazagnaire[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wi0-f179.google.com ([209.85.212.179]:43400) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp id 1TYgym-0007cZ-qJ (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 17:42:24 +0000 Received: by mail-wi0-f179.google.com with SMTP id hj6so329479wib.2 for ; Wed, 14 Nov 2012 09:42:24 -0800 (PST) Received: by 10.180.90.78 with SMTP id bu14mr27217143wib.21.1352914943837; Wed, 14 Nov 2012 09:42:23 -0800 (PST) Received: from [10.99.24.35] (37-8-173-72.coucou-networks.fr. [37.8.173.72]) by mx.google.com with ESMTPS id en20sm3450281wid.4.2012.11.14.09.42.10 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 14 Nov 2012 09:42:13 -0800 (PST) Subject: Latest opam is out From: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii X-Mailer: iPhone Mail (9B206) Message-Id: Date: Wed, 14 Nov 2012 18:42:01 +0100 To: Mirage List Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (1.0) X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 14 Nov 2012 17:42:24 -0000 Content-Length: 258 Lines: 12 Hi all, I've releases opam 0.8.1 which should fix the pinning/dev version updates is= sues that some of you might have unfortunately encountered.=20 The new version should be in homebrew soon and I've updated the binary on op= am.ocamlpro.com -- Thomas From anil@recoil.org Wed Nov 14 17:44:27 2012 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TYh0l-0000Se-DI (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 17:44:27 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1408637 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:20474 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1TYh0k-000171-S2 (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 17:44:27 +0000 Received: (qmail 2476 invoked by uid 634); 14 Nov 2012 17:44:26 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.0.83]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 14 Nov 2012 17:44:26 +0000 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) Subject: Re: Latest opam is out From: Anil Madhavapeddy In-Reply-To: Date: Wed, 14 Nov 2012 17:44:25 +0000 Content-Transfer-Encoding: quoted-printable Message-Id: References: To: Thomas Gazagnaire X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 14 Nov 2012 17:44:27 -0000 Content-Length: 854 Lines: 32 I've opened up a pull request in Homebrew for the update: https://github.com/mxcl/homebrew/pull/16058 Most importantly, the mirage/opam-repo-dev works much better now. Every = time you issue an 'opam update', all of the remote repositories will be = pulled and refreshed automatically, and rebuilt when you call 'opam = upgrade'. Dimos: I think this should fix the problem you had with a stale upstream = mirage-platform, for example. Thanks for all the fixes Thomas! -anil On 14 Nov 2012, at 17:42, Thomas Gazagnaire = wrote: > Hi all, >=20 > I've releases opam 0.8.1 which should fix the pinning/dev version = updates issues that some of you might have unfortunately encountered.=20 >=20 > The new version should be in homebrew soon and I've updated the binary = on opam.ocamlpro.com >=20 > -- > Thomas >=20 >=20 From awm22@cl.cam.ac.uk Wed Nov 14 18:01:04 2012 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TYhGq-0000xt-SX (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 18:01:04 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.2 from SpamAssassin-3.3.2-1408637 * -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP * -0.2 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mta1.cl.cam.ac.uk ([128.232.25.21]:45833) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp id 1TYhGq-0007j7-RY (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 18:01:04 +0000 Received: from paddington.ad.cl.cam.ac.uk ([128.232.28.55] helo=SVR-WIN-MTA1.ad.cl.cam.ac.uk) by mta1.cl.cam.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1TYhGn-0008FK-Do; Wed, 14 Nov 2012 18:01:01 +0000 Received: from SVR-WIN-MTA0.ad.cl.cam.ac.uk ([fe80::2409:7aa9:57e7:23ee]) by SVR-WIN-MTA1.ad.cl.cam.ac.uk ([fe80::c052:1b6b:2615:2788%12]) with mapi; Wed, 14 Nov 2012 18:00:58 +0000 From: Andrew Moore To: Anil Madhavapeddy Date: Wed, 14 Nov 2012 18:00:57 +0000 Subject: Re: HTTP client q Thread-Topic: HTTP client q Thread-Index: Ac3Ckf/R2J8p5uFmQVKXRDtf8tSL0g== Message-ID: <5D4F1C02-DD2D-497B-B8B3-B77F8CADE16E@cl.cam.ac.uk> References: <55DA61B6-923A-4693-9D16-A435241D4913@recoil.org> In-Reply-To: <55DA61B6-923A-4693-9D16-A435241D4913@recoil.org> Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Cc: David Sheets , "cl-mirage@lists.cam.ac.uk List" X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 14 Nov 2012 18:01:05 -0000 Content-Length: 1780 Lines: 54 My read is 1.0 not valid 1.1 must have for non persistent (aka no Connection: Keep-Alive) I don't have a mapping of that to "more advanced API" you speak of. a. On 14 Nov 2012, at 17:33, Anil Madhavapeddy wrote: > To the HTTP heads out there, is it ok for a single HTTP request (no pipel= ining) to always include "Connection: close" in the headers? >=20 > In Cohttp, we currently don't do this, and it appears that every single c= lient has to include the header, or risk the other side not closing the con= nection cleanly. >=20 > I'm modifying Cohttp to always send the Connection header when a single g= et/put/post/head request is issued, but *not* when the more advanced pipeli= ne API calls are used. Does this sound sane? >=20 > -anil Relevant extract RFC2616 *and there might be something more recent, I can't= find ight now, it is not clear that the follower RFCs explicitly obsolete = this. HTTP/1.1 defines the "close" connection option for the sender to signal tha= t the connection will be closed after completion of the response. For examp= le, Connection: close in either the request or the response header fields indicates that the conn= ection SHOULD NOT be considered `persistent' (section 8.1) after the curren= t request/response is complete. HTTP/1.1 applications that do not support persistent connections MUST inclu= de the "close" connection option in every message. A system receiving an HTTP/1.0 (or lower-version) message that includes a C= onnection header MUST, for each connection-token in this field, remove and = ignore any header field(s) from the message with the same name as the conne= ction-token. This protects against mistaken forwarding of such header field= s by pre-HTTP/1.1 proxies. See section 19.6.2. 14.11 From anil@recoil.org Wed Nov 14 18:05:19 2012 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TYhKx-00017y-05 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 18:05:19 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1408637 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:46333 helo=dark.recoil.org) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with smtp id 1TYhKv-0000kG-Sn (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 18:05:18 +0000 Received: (qmail 2230 invoked by uid 634); 14 Nov 2012 18:05:17 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.0.83]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 14 Nov 2012 18:05:17 +0000 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) Subject: Re: HTTP client q From: Anil Madhavapeddy In-Reply-To: <5D4F1C02-DD2D-497B-B8B3-B77F8CADE16E@cl.cam.ac.uk> Date: Wed, 14 Nov 2012 18:05:15 +0000 Content-Transfer-Encoding: quoted-printable Message-Id: <98C9721C-F83C-4E93-8642-B89426BB8198@recoil.org> References: <55DA61B6-923A-4693-9D16-A435241D4913@recoil.org> <5D4F1C02-DD2D-497B-B8B3-B77F8CADE16E@cl.cam.ac.uk> To: Andrew Moore X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: David Sheets , "cl-mirage@lists.cam.ac.uk List" X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 14 Nov 2012 18:05:19 -0000 Content-Length: 2511 Lines: 78 Hm, so given our client by default is 1.1, this change is ok. But of = course, if we receive back an HTTP/1.0 downgrade from the server then all bets = are off. I'm inclined to add the header for now by default, and it'll be = ignored for 1.0 servers (which are presumably reasonably rare nowadays, although = maybe not for embedded devices). What a barking mad protocol: http://wiki.basho.com/images/http-headers-status-v3.png Of course, every single step in that flowchart can be justified. It's just the big picture that's insane :) -anil On 14 Nov 2012, at 18:00, Andrew Moore = wrote: > My read is >=20 > 1.0 not valid >=20 > 1.1 must have for non persistent (aka no Connection: Keep-Alive) >=20 > I don't have a mapping of that to "more advanced API" you speak of. >=20 > a. >=20 > On 14 Nov 2012, at 17:33, Anil Madhavapeddy wrote: >=20 >> To the HTTP heads out there, is it ok for a single HTTP request (no = pipelining) to always include "Connection: close" in the headers? >>=20 >> In Cohttp, we currently don't do this, and it appears that every = single client has to include the header, or risk the other side not = closing the connection cleanly. >>=20 >> I'm modifying Cohttp to always send the Connection header when a = single get/put/post/head request is issued, but *not* when the more = advanced pipeline API calls are used. Does this sound sane? >>=20 >> -anil >=20 >=20 > Relevant extract RFC2616 *and there might be something more recent, I = can't find ight now, it is not clear that the follower RFCs explicitly = obsolete this. >=20 >=20 >=20 > HTTP/1.1 defines the "close" connection option for the sender to = signal that the connection will be closed after completion of the = response. For example, >=20 > Connection: close >=20 > in either the request or the response header fields indicates that the = connection SHOULD NOT be considered `persistent' (section 8.1) after the = current request/response is complete. >=20 > HTTP/1.1 applications that do not support persistent connections MUST = include the "close" connection option in every message. >=20 > A system receiving an HTTP/1.0 (or lower-version) message that = includes a Connection header MUST, for each connection-token in this = field, remove and ignore any header field(s) from the message with the = same name as the connection-token. This protects against mistaken = forwarding of such header fields by pre-HTTP/1.1 proxies. See section = 19.6.2. >=20 > 14.11 >=20 >=20 From awm22@cl.cam.ac.uk Wed Nov 14 19:03:47 2012 Received: from ppsw-43.csi.cam.ac.uk ([131.111.8.143]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TYiFX-0002Me-ST (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 19:03:47 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.2 from SpamAssassin-3.3.2-1408637 * -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP * -0.2 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mta1.cl.cam.ac.uk ([128.232.25.21]:47765) by ppsw-43.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with esmtp id 1TYiFX-0001gy-mz (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 14 Nov 2012 19:03:47 +0000 Received: from svr-win-mta1.ad.cl.cam.ac.uk ([128.232.28.55]) by mta1.cl.cam.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1TYiFW-0000sk-R7; Wed, 14 Nov 2012 19:03:46 +0000 Received: from SVR-WIN-MTA0.ad.cl.cam.ac.uk ([fe80::2409:7aa9:57e7:23ee]) by SVR-WIN-MTA1.ad.cl.cam.ac.uk ([fe80::c052:1b6b:2615:2788%12]) with mapi; Wed, 14 Nov 2012 19:03:43 +0000 From: Andrew Moore To: Anil Madhavapeddy Date: Wed, 14 Nov 2012 19:03:42 +0000 Subject: Re: HTTP client q Thread-Topic: HTTP client q Thread-Index: Ac3CmsQNR1xCroAUQnSo5hkWIQFrYg== Message-ID: <7E1CD484-1ED1-4B9E-8776-ADA405EB2D69@cl.cam.ac.uk> References: <55DA61B6-923A-4693-9D16-A435241D4913@recoil.org> <5D4F1C02-DD2D-497B-B8B3-B77F8CADE16E@cl.cam.ac.uk> <98C9721C-F83C-4E93-8642-B89426BB8198@recoil.org> In-Reply-To: <98C9721C-F83C-4E93-8642-B89426BB8198@recoil.org> Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Cc: David Sheets , "cl-mirage@lists.cam.ac.uk List" X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 14 Nov 2012 19:03:47 -0000 Content-Length: 3130 Lines: 94 Hmm actually that is probably precisely wrong. 1.0 servers are the very ones that are fragile to unrecognised control word= s. in particular they are all those ratty web-accessible cameras and that sort= of crap - worst offenders a crappy series of home gateway routers that wou= ld get way confused and jam. I'd be inclined to be highly conservative for ancient kit Also 1.0 is still shockingly commonplace among load balancers that go insan= e/under-attach; stupid but true On 14 Nov 2012, at 18:05, Anil Madhavapeddy wrote: > Hm, so given our client by default is 1.1, this change is ok. But of cour= se, > if we receive back an HTTP/1.0 downgrade from the server then all bets ar= e > off. I'm inclined to add the header for now by default, and it'll be igno= red > for 1.0 servers (which are presumably reasonably rare nowadays, although = maybe > not for embedded devices). >=20 > What a barking mad protocol: > http://wiki.basho.com/images/http-headers-status-v3.png >=20 > Of course, every single step in that flowchart can be justified. > It's just the big picture that's insane :) >=20 > -anil >=20 > On 14 Nov 2012, at 18:00, Andrew Moore wrote: >=20 >> My read is >>=20 >> 1.0 not valid >>=20 >> 1.1 must have for non persistent (aka no Connection: Keep-Alive) >>=20 >> I don't have a mapping of that to "more advanced API" you speak of. >>=20 >> a. >>=20 >> On 14 Nov 2012, at 17:33, Anil Madhavapeddy wrote: >>=20 >>> To the HTTP heads out there, is it ok for a single HTTP request (no pip= elining) to always include "Connection: close" in the headers? >>>=20 >>> In Cohttp, we currently don't do this, and it appears that every single= client has to include the header, or risk the other side not closing the c= onnection cleanly. >>>=20 >>> I'm modifying Cohttp to always send the Connection header when a single= get/put/post/head request is issued, but *not* when the more advanced pipe= line API calls are used. Does this sound sane? >>>=20 >>> -anil >>=20 >>=20 >> Relevant extract RFC2616 *and there might be something more recent, I ca= n't find ight now, it is not clear that the follower RFCs explicitly obsole= te this. >>=20 >>=20 >>=20 >> HTTP/1.1 defines the "close" connection option for the sender to signal = that the connection will be closed after completion of the response. For ex= ample, >>=20 >> Connection: close >>=20 >> in either the request or the response header fields indicates that the c= onnection SHOULD NOT be considered `persistent' (section 8.1) after the cur= rent request/response is complete. >>=20 >> HTTP/1.1 applications that do not support persistent connections MUST in= clude the "close" connection option in every message. >>=20 >> A system receiving an HTTP/1.0 (or lower-version) message that includes = a Connection header MUST, for each connection-token in this field, remove a= nd ignore any header field(s) from the message with the same name as the co= nnection-token. This protects against mistaken forwarding of such header fi= elds by pre-HTTP/1.1 proxies. See section 19.6.2. >>=20 >> 14.11 >>=20 >>=20 >=20 >=20 From anil@recoil.org Thu Nov 15 10:13:24 2012 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TYwRo-0006ow-KN (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Nov 2012 10:13:24 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1409116 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:22562 helo=dark.recoil.org) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp id 1TYwRn-000085-si (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 15 Nov 2012 10:13:24 +0000 Received: (qmail 30855 invoked by uid 634); 15 Nov 2012 10:13:23 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.0.83]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Thu, 15 Nov 2012 10:13:21 +0000 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) Subject: Re: HTTP client q From: Anil Madhavapeddy In-Reply-To: <7E1CD484-1ED1-4B9E-8776-ADA405EB2D69@cl.cam.ac.uk> Date: Thu, 15 Nov 2012 10:13:21 +0000 Content-Transfer-Encoding: quoted-printable Message-Id: <4773BC8C-327A-47B7-9337-1A7E8B395730@recoil.org> References: <55DA61B6-923A-4693-9D16-A435241D4913@recoil.org> <5D4F1C02-DD2D-497B-B8B3-B77F8CADE16E@cl.cam.ac.uk> <98C9721C-F83C-4E93-8642-B89426BB8198@recoil.org> <7E1CD484-1ED1-4B9E-8776-ADA405EB2D69@cl.cam.ac.uk> To: Andrew Moore X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: David Sheets , "cl-mirage@lists.cam.ac.uk List" X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 15 Nov 2012 10:13:24 -0000 Content-Length: 3480 Lines: 107 Unfortunately, clients have no idea what the server version is, so we = pretty much have to make an HTTP/1.1 query by default, and only fall = back on error... -anil On 14 Nov 2012, at 19:03, Andrew Moore = wrote: > Hmm actually that is probably precisely wrong. >=20 > 1.0 servers are the very ones that are fragile to unrecognised control = words. >=20 > in particular they are all those ratty web-accessible cameras and that = sort of crap - worst offenders a crappy series of home gateway routers = that would get way confused and jam. >=20 > I'd be inclined to be highly conservative for ancient kit >=20 > Also 1.0 is still shockingly commonplace among load balancers that go = insane/under-attach; stupid but true >=20 > On 14 Nov 2012, at 18:05, Anil Madhavapeddy wrote: >=20 >> Hm, so given our client by default is 1.1, this change is ok. But of = course, >> if we receive back an HTTP/1.0 downgrade from the server then all = bets are >> off. I'm inclined to add the header for now by default, and it'll be = ignored >> for 1.0 servers (which are presumably reasonably rare nowadays, = although maybe >> not for embedded devices). >>=20 >> What a barking mad protocol: >> http://wiki.basho.com/images/http-headers-status-v3.png >>=20 >> Of course, every single step in that flowchart can be justified. >> It's just the big picture that's insane :) >>=20 >> -anil >>=20 >> On 14 Nov 2012, at 18:00, Andrew Moore = wrote: >>=20 >>> My read is >>>=20 >>> 1.0 not valid >>>=20 >>> 1.1 must have for non persistent (aka no Connection: Keep-Alive) >>>=20 >>> I don't have a mapping of that to "more advanced API" you speak of. >>>=20 >>> a. >>>=20 >>> On 14 Nov 2012, at 17:33, Anil Madhavapeddy wrote: >>>=20 >>>> To the HTTP heads out there, is it ok for a single HTTP request (no = pipelining) to always include "Connection: close" in the headers? >>>>=20 >>>> In Cohttp, we currently don't do this, and it appears that every = single client has to include the header, or risk the other side not = closing the connection cleanly. >>>>=20 >>>> I'm modifying Cohttp to always send the Connection header when a = single get/put/post/head request is issued, but *not* when the more = advanced pipeline API calls are used. Does this sound sane? >>>>=20 >>>> -anil >>>=20 >>>=20 >>> Relevant extract RFC2616 *and there might be something more recent, = I can't find ight now, it is not clear that the follower RFCs explicitly = obsolete this. >>>=20 >>>=20 >>>=20 >>> HTTP/1.1 defines the "close" connection option for the sender to = signal that the connection will be closed after completion of the = response. For example, >>>=20 >>> Connection: close >>>=20 >>> in either the request or the response header fields indicates that = the connection SHOULD NOT be considered `persistent' (section 8.1) after = the current request/response is complete. >>>=20 >>> HTTP/1.1 applications that do not support persistent connections = MUST include the "close" connection option in every message. >>>=20 >>> A system receiving an HTTP/1.0 (or lower-version) message that = includes a Connection header MUST, for each connection-token in this = field, remove and ignore any header field(s) from the message with the = same name as the connection-token. This protects against mistaken = forwarding of such header fields by pre-HTTP/1.1 proxies. See section = 19.6.2. >>>=20 >>> 14.11 >>>=20 >>>=20 >>=20 >>=20 >=20 >=20 From sdiris@gmail.com Mon Nov 19 19:23:36 2012 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TaWwS-0004tw-NP (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 19 Nov 2012 19:23:36 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -0.8 from SpamAssassin-3.3.2-1410852 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [74.125.82.51 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (sdiris[at]gmail.com) * 0.0 HTML_MESSAGE BODY: HTML included in message * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wg0-f51.google.com ([74.125.82.51]:59499) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp id 1TaWwS-0008SK-Wp (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 19 Nov 2012 19:23:36 +0000 Received: by mail-wg0-f51.google.com with SMTP id ei8so584671wgb.20 for ; Mon, 19 Nov 2012 11:23:36 -0800 (PST) Received: by 10.180.93.40 with SMTP id cr8mr7146144wib.15.1353353015947; Mon, 19 Nov 2012 11:23:35 -0800 (PST) Received: from YimingZhangPC (c227.al.cl.cam.ac.uk. [128.232.110.227]) by mx.google.com with ESMTPS id s12sm14661799wik.11.2012.11.19.11.23.34 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 19 Nov 2012 11:23:34 -0800 (PST) From: "Yiming Zhang" To: Subject: ocaml debug problem Date: Mon, 19 Nov 2012 19:23:35 -0000 Message-ID: <002501cdc68b$5f5d3470$1e179d50$@gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0026_01CDC68B.5F5DD0B0" X-Mailer: Microsoft Outlook 14.0 Thread-Index: Ac3GigrrAnjtXR+hSkmtgkZIQ/OpaQ== Content-Language: zh-cn X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 19 Nov 2012 19:23:36 -0000 Content-Length: 3097 Lines: 98 This is a multipart message in MIME format. ------=_NextPart_000_0026_01CDC68B.5F5DD0B0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Hi all I am debugging a server using ocamldebug. When the server is waiting for clients to connect, can I stop the waiting process and check some variant ? (e.g., I can use ctrl+C to achieve this when debugging C programs using GDB) Thanks! Yiming ------=_NextPart_000_0026_01CDC68B.5F5DD0B0 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Hi = all

I am debugging a server using ocamldebug. When the server = is waiting for clients to connect, can I stop the waiting process and = check some variant ? (e.g., I can use ctrl+C to achieve this when = debugging C programs using GDB)

Thanks!

Yiming

------=_NextPart_000_0026_01CDC68B.5F5DD0B0-- From anil@recoil.org Tue Nov 20 09:51:11 2012 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TakU3-0007hV-Ej (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Nov 2012 09:51:11 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1411099 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:10329 helo=dark.recoil.org) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp id 1TakU3-0005iA-WU (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Nov 2012 09:51:11 +0000 Received: (qmail 17816 invoked by uid 634); 20 Nov 2012 09:51:11 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.0.83]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 20 Nov 2012 09:51:10 +0000 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) Subject: Re: ocaml debug problem From: Anil Madhavapeddy In-Reply-To: <002501cdc68b$5f5d3470$1e179d50$@gmail.com> Date: Tue, 20 Nov 2012 09:51:10 +0000 Content-Transfer-Encoding: quoted-printable Message-Id: References: <002501cdc68b$5f5d3470$1e179d50$@gmail.com> To: Yiming Zhang X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: cl-mirage@lists.cam.ac.uk X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 20 Nov 2012 09:51:11 -0000 Content-Length: 652 Lines: 19 On 19 Nov 2012, at 19:23, Yiming Zhang wrote: > Hi all > =20 > I am debugging a server using ocamldebug. When the server is waiting = for clients to connect, can I stop the waiting process and check some = variant ? (e.g., I can use ctrl+C to achieve this when debugging C = programs using GDB) I don't actually use ocamldebug much, but I probably should :-) There's a "goto " option that runs the program and breaks after a = certain stage, so you could set this up to fire when the process is = waiting. Alternatively, you could set a breakpoint on the select = function to explicitly break just before it waits. -anil From sdiris@gmail.com Tue Nov 20 16:00:36 2012 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TaqFY-0003pv-QU (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Nov 2012 16:00:36 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -0.8 from SpamAssassin-3.3.2-1411099 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.212.173 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (sdiris[at]gmail.com) * 0.0 HTML_MESSAGE BODY: HTML included in message * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wi0-f173.google.com ([209.85.212.173]:34798) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp id 1TaqFX-0006qM-Yj (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Nov 2012 16:00:36 +0000 Received: by mail-wi0-f173.google.com with SMTP id hm11so819163wib.2 for ; Tue, 20 Nov 2012 08:00:35 -0800 (PST) Received: by 10.180.7.199 with SMTP id l7mr10465193wia.15.1353427235563; Tue, 20 Nov 2012 08:00:35 -0800 (PST) Received: from YimingZhangPC (c192.al.cl.cam.ac.uk. [128.232.110.192]) by mx.google.com with ESMTPS id gk9sm18280722wib.4.2012.11.20.08.00.33 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 20 Nov 2012 08:00:34 -0800 (PST) From: "Yiming Zhang" To: Subject: how to compile ocaml program with lwt support Date: Tue, 20 Nov 2012 16:00:36 -0000 Message-ID: <001e01cdc738$2ec3eae0$8c4bc0a0$@gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_001F_01CDC738.2EC48720" X-Mailer: Microsoft Outlook 14.0 Thread-Index: Ac3HNrFfIOWUE13iSoidDQRoGUvf4w== Content-Language: zh-cn X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 20 Nov 2012 16:00:36 -0000 Content-Length: 3653 Lines: 109 This is a multipart message in MIME format. ------=_NextPart_000_001F_01CDC738.2EC48720 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Dear all, I am using eclipse to write an ocaml program with lwt support (I wrote in the first line "open Lwt"). And I want to compile it by " make Makefile" based on the OCamlMakefile support. How should I write the Makefile? I tried "PACKS = lwt lwt.unix lwt.syntax" but it reported errors like "ocamlfind: not found". (I know how to compile it using oasis and ocamlbuild, but currently I prefer directly using Makefile in eclipse.) Thanks Yiming ------=_NextPart_000_001F_01CDC738.2EC48720 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Dear = all,

I am using eclipse to write an ocaml program with lwt = support (I wrote in the first line “open Lwt”). And I want = to compile it by “ make Makefile” based on the OCamlMakefile = support. How should I write the Makefile? I tried “PACKS =3D lwt = lwt.unix lwt.syntax” but it reported errors like “ocamlfind: = not found”.

(I know how to compile it using oasis and ocamlbuild, but = currently I prefer directly using Makefile in = eclipse.)

Thanks

Yiming

------=_NextPart_000_001F_01CDC738.2EC48720-- From anil@recoil.org Tue Nov 20 16:37:20 2012 Received: from ppsw-43.csi.cam.ac.uk ([131.111.8.143]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Taqp6-0006CE-Jo (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Nov 2012 16:37:20 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1411099 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:21664 helo=dark.recoil.org) by ppsw-43.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp id 1Taqp6-0004so-nE (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Nov 2012 16:37:20 +0000 Received: (qmail 28192 invoked by uid 634); 20 Nov 2012 16:37:18 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.0.83]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 20 Nov 2012 16:37:18 +0000 Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) Subject: Re: how to compile ocaml program with lwt support From: Anil Madhavapeddy In-Reply-To: <001e01cdc738$2ec3eae0$8c4bc0a0$@gmail.com> Date: Tue, 20 Nov 2012 16:37:17 +0000 Content-Transfer-Encoding: quoted-printable Message-Id: <8E8D62E7-405F-4EC6-B719-14B4E7B2BBCF@recoil.org> References: <001e01cdc738$2ec3eae0$8c4bc0a0$@gmail.com> To: "Yiming Zhang" X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: cl-mirage@lists.cam.ac.uk X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 20 Nov 2012 16:37:20 -0000 Content-Length: 768 Lines: 25 Is ocamlfind installed, if you are getting an error that it's not found? = Are you using OPAM? If I remember right, OCamlMakefile will use ocamlfind to resolve package = dependencies. -anil On 20 Nov 2012, at 16:00, "Yiming Zhang" wrote: > Dear all, > =20 > I am using eclipse to write an ocaml program with lwt support (I wrote = in the first line =93open Lwt=94). And I want to compile it by =93 make = Makefile=94 based on the OCamlMakefile support. How should I write the = Makefile? I tried =93PACKS =3D lwt lwt.unix lwt.syntax=94 but it = reported errors like =93ocamlfind: not found=94. > =20 > (I know how to compile it using oasis and ocamlbuild, but currently I = prefer directly using Makefile in eclipse.) > =20 > Thanks > Yiming From sdiris@gmail.com Tue Nov 20 23:16:23 2012 Received: from ppsw-43.csi.cam.ac.uk ([131.111.8.143]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Tax3H-0006xY-BI (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Nov 2012 23:16:23 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1411099 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [74.125.82.51 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (sdiris[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wg0-f51.google.com ([74.125.82.51]:35116) by ppsw-43.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with esmtp id 1Tax3G-0002R5-nS (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 20 Nov 2012 23:16:23 +0000 Received: by mail-wg0-f51.google.com with SMTP id ei8so1212081wgb.20 for ; Tue, 20 Nov 2012 15:16:22 -0800 (PST) Received: by 10.180.109.198 with SMTP id hu6mr16908531wib.7.1353453379821; Tue, 20 Nov 2012 15:16:19 -0800 (PST) Received: from YimingZhangPC (c192.al.cl.cam.ac.uk. [128.232.110.192]) by mx.google.com with ESMTPS id s12sm19747845wik.11.2012.11.20.15.16.18 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 20 Nov 2012 15:16:19 -0800 (PST) From: "Yiming Zhang" To: "'Anil Madhavapeddy'" Subject: lwt compilation problem solved Date: Tue, 20 Nov 2012 23:16:21 -0000 Message-ID: <003d01cdc775$0e0a9cd0$2a1fd670$@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="gb2312" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook 14.0 Thread-Index: Ac3HdGdPcCxK8MblS2KBNYXnNHkPug== Content-Language: zh-cn Cc: cl-mirage@lists.cam.ac.uk X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 20 Nov 2012 23:16:23 -0000 Content-Length: 1231 Lines: 44 I finally solved the problem, which was because there were two ocaml = systems (3.11.2 and 3.12.1) in my machine.=20 Many thanks to Anil! Yiming -----=D3=CA=BC=FE=D4=AD=BC=FE----- =B7=A2=BC=FE=C8=CB: Anil Madhavapeddy [mailto:anil@recoil.org]=20 =B7=A2=CB=CD=CA=B1=BC=E4: 2012=C4=EA11=D4=C220=C8=D5 16:37 =CA=D5=BC=FE=C8=CB: Yiming Zhang =B3=AD=CB=CD: cl-mirage@lists.cam.ac.uk =D6=F7=CC=E2: Re: how to compile ocaml program with lwt support Is ocamlfind installed, if you are getting an error that it's not found? Are you using OPAM? If I remember right, OCamlMakefile will use ocamlfind to resolve package dependencies. -anil On 20 Nov 2012, at 16:00, "Yiming Zhang" wrote: > Dear all, > =20 > I am using eclipse to write an ocaml program with lwt support (I wrote = in the first line =A1=B0open Lwt=A1=B1). And I want to compile it by =A1=B0 = make Makefile=A1=B1 based on the OCamlMakefile support. How should I write the Makefile? I = tried =A1=B0PACKS =3D lwt lwt.unix lwt.syntax=A1=B1 but it reported errors = like =A1=B0ocamlfind: not found=A1=B1. > =20 > (I know how to compile it using oasis and ocamlbuild, but currently I prefer directly using Makefile in eclipse.) > =20 > Thanks > Yiming From anil@recoil.org Wed Nov 21 14:25:29 2012 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TbBF3-0003Np-Gb (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Nov 2012 14:25:29 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1411588 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:35868 helo=dark.recoil.org) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp id 1TbBF3-0000sH-ps (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Nov 2012 14:25:29 +0000 Received: (qmail 29176 invoked by uid 634); 21 Nov 2012 14:25:28 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.0.83]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 21 Nov 2012 14:25:28 +0000 Content-Type: text/plain; charset=GB2312 Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) Subject: Re: lwt compilation problem solved From: Anil Madhavapeddy In-Reply-To: <003d01cdc775$0e0a9cd0$2a1fd670$@gmail.com> Date: Wed, 21 Nov 2012 14:25:27 +0000 Content-Transfer-Encoding: quoted-printable Message-Id: References: <003d01cdc775$0e0a9cd0$2a1fd670$@gmail.com> To: Yiming Zhang X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: cl-mirage@lists.cam.ac.uk X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 21 Nov 2012 14:25:29 -0000 Content-Length: 1532 Lines: 55 Excellent! How is the Eclipse integration working out? Did you use any of the available plugins to get type highlighting and so on? -anil On 20 Nov 2012, at 23:16, Yiming Zhang wrote: > I finally solved the problem, which was because there were two ocaml = systems > (3.11.2 and 3.12.1) in my machine.=20 >=20 > Many thanks to Anil! >=20 > Yiming >=20 > -----=D3=CA=BC=FE=D4=AD=BC=FE----- > =B7=A2=BC=FE=C8=CB: Anil Madhavapeddy [mailto:anil@recoil.org]=20 > =B7=A2=CB=CD=CA=B1=BC=E4: 2012=C4=EA11=D4=C220=C8=D5 16:37 > =CA=D5=BC=FE=C8=CB: Yiming Zhang > =B3=AD=CB=CD: cl-mirage@lists.cam.ac.uk > =D6=F7=CC=E2: Re: how to compile ocaml program with lwt support >=20 > Is ocamlfind installed, if you are getting an error that it's not = found? > Are you using OPAM? >=20 > If I remember right, OCamlMakefile will use ocamlfind to resolve = package > dependencies. >=20 > -anil >=20 > On 20 Nov 2012, at 16:00, "Yiming Zhang" wrote: >=20 >> Dear all, >>=20 >> I am using eclipse to write an ocaml program with lwt support (I = wrote in > the first line =A1=B0open Lwt=A1=B1). And I want to compile it by =A1=B0= make Makefile=A1=B1 > based on the OCamlMakefile support. How should I write the Makefile? I = tried > =A1=B0PACKS =3D lwt lwt.unix lwt.syntax=A1=B1 but it reported errors = like =A1=B0ocamlfind: > not found=A1=B1. >>=20 >> (I know how to compile it using oasis and ocamlbuild, but currently I > prefer directly using Makefile in eclipse.) >>=20 >> Thanks >> Yiming >=20 >=20 From heidihoward360@gmail.com Wed Nov 21 16:37:42 2012 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TbDJ0-0001qX-Mi (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Nov 2012 16:37:42 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -0.3 from SpamAssassin-3.3.2-1411588 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.214.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (heidihoward360[at]gmail.com) * 0.2 FREEMAIL_ENVFROM_END_DIGIT Envelope-from freemail username ends in * digit (heidihoward360[at]gmail.com) * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-ob0-f179.google.com ([209.85.214.179]:38993) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp id 1TbDIz-00049p-Sw (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 21 Nov 2012 16:37:42 +0000 Received: by mail-ob0-f179.google.com with SMTP id eq6so6833970obc.38 for ; Wed, 21 Nov 2012 08:37:41 -0800 (PST) MIME-Version: 1.0 Received: by 10.182.124.98 with SMTP id mh2mr3635806obb.88.1353515860959; Wed, 21 Nov 2012 08:37:40 -0800 (PST) Sender: heidihoward360@gmail.com Received: by 10.76.81.161 with HTTP; Wed, 21 Nov 2012 08:37:40 -0800 (PST) In-Reply-To: References: <003d01cdc775$0e0a9cd0$2a1fd670$@gmail.com> Date: Wed, 21 Nov 2012 16:37:40 +0000 X-Google-Sender-Auth: Zd0mdqVVyTeVTqEQR-_c76nOugE Message-ID: Subject: Re: lwt compilation problem solved From: Heidi Howard To: Anil Madhavapeddy Content-Type: text/plain; charset=GB2312 Content-Transfer-Encoding: quoted-printable Cc: cl-mirage@lists.cam.ac.uk, Yiming Zhang X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 21 Nov 2012 16:37:42 -0000 Content-Length: 1840 Lines: 66 I've tried the OCalDE plugin for the Eclipse, hopefully i'll be a blog post on it in the future. Theres more information on it here http://www.algo-prog.info/ocaide/. I would definity recommend giving it a try On 21 November 2012 14:25, Anil Madhavapeddy wrote: > Excellent! How is the Eclipse integration working out? Did you use any > of the available plugins to get type highlighting and so on? > > -anil > > On 20 Nov 2012, at 23:16, Yiming Zhang wrote: > >> I finally solved the problem, which was because there were two ocaml sys= tems >> (3.11.2 and 3.12.1) in my machine. >> >> Many thanks to Anil! >> >> Yiming >> >> -----=D3=CA=BC=FE=D4=AD=BC=FE----- >> =B7=A2=BC=FE=C8=CB: Anil Madhavapeddy [mailto:anil@recoil.org] >> =B7=A2=CB=CD=CA=B1=BC=E4: 2012=C4=EA11=D4=C220=C8=D5 16:37 >> =CA=D5=BC=FE=C8=CB: Yiming Zhang >> =B3=AD=CB=CD: cl-mirage@lists.cam.ac.uk >> =D6=F7=CC=E2: Re: how to compile ocaml program with lwt support >> >> Is ocamlfind installed, if you are getting an error that it's not found? >> Are you using OPAM? >> >> If I remember right, OCamlMakefile will use ocamlfind to resolve package >> dependencies. >> >> -anil >> >> On 20 Nov 2012, at 16:00, "Yiming Zhang" wrote: >> >>> Dear all, >>> >>> I am using eclipse to write an ocaml program with lwt support (I wrote = in >> the first line =A1=B0open Lwt=A1=B1). And I want to compile it by =A1=B0= make Makefile=A1=B1 >> based on the OCamlMakefile support. How should I write the Makefile? I t= ried >> =A1=B0PACKS =3D lwt lwt.unix lwt.syntax=A1=B1 but it reported errors lik= e =A1=B0ocamlfind: >> not found=A1=B1. >>> >>> (I know how to compile it using oasis and ocamlbuild, but currently I >> prefer directly using Makefile in eclipse.) >>> >>> Thanks >>> Yiming >> >> > > --=20 Regards Heidi From sdiris@gmail.com Thu Nov 22 14:47:40 2012 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TbY44-0006V5-KE (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 14:47:40 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1412016 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.212.169 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (sdiris[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wi0-f169.google.com ([209.85.212.169]:61061) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp id 1TbY43-0007j7-SN (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 14:47:40 +0000 Received: by mail-wi0-f169.google.com with SMTP id hq12so747063wib.2 for ; Thu, 22 Nov 2012 06:47:39 -0800 (PST) Received: by 10.180.100.97 with SMTP id ex1mr1612597wib.1.1353595659618; Thu, 22 Nov 2012 06:47:39 -0800 (PST) Received: from YimingZhangPC (c187.al.cl.cam.ac.uk. [128.232.110.187]) by mx.google.com with ESMTPS id i6sm4364177wix.5.2012.11.22.06.47.38 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 22 Nov 2012 06:47:38 -0800 (PST) From: "Yiming Zhang" To: Subject: About the cohttp Date: Thu, 22 Nov 2012 14:47:42 -0000 Message-ID: <001901cdc8c0$5427c160$fc774420$@gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_001A_01CDC8C0.54285DA0" X-Mailer: Microsoft Outlook 14.0 Thread-Index: Ac3Iuaac5yJOYdo7QWStQ+7gt0FWFw== Content-Language: zh-cn X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 22 Nov 2012 14:47:40 -0000 Content-Length: 3872 Lines: 116 This is a multipart message in MIME format. ------=_NextPart_000_001A_01CDC8C0.54285DA0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Anil, I want to study your cohttp project as an example of writing ocaml web applications. Is it a good choice? For writing lwt programs on Linux, I think currently I only need to focus on the section "Library cohttp_lwt_unix" in the "_oasis" file (and the relevant test sections), right? The current problem is the shell command in Makefile "ocamlfind query lwt.ssl" cannot find lwt.ssl and replies "ocamlfind: Package `lwt.ssl' not found". Do you have any ideas for that? Thanks! Yiming ------=_NextPart_000_001A_01CDC8C0.54285DA0 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Anil,

I want to study your cohttp project as an example of = writing ocaml web applications. Is it a good = choice?

For writing lwt programs on Linux, I think currently I only = need to focus on the section “Library cohttp_lwt_unix” in = the “_oasis” file (and the relevant test sections), = right?

The current problem is the shell command in Makefile = “ocamlfind query lwt.ssl” cannot find lwt.ssl and replies = “ocamlfind: Package `lwt.ssl' not found”. Do you have any = ideas for that?

Thanks!

Yiming

------=_NextPart_000_001A_01CDC8C0.54285DA0-- From Dave.Scott@eu.citrix.com Thu Nov 22 14:49:58 2012 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TbY6I-0006Zs-4M (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 14:49:58 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -0.4 from SpamAssassin-3.3.2-1412016 * -0.4 RP_MATCHES_RCVD Envelope sender domain matches handover relay * domain * 0.0 HTML_MESSAGE BODY: HTML included in message X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from smtp.eu.citrix.com ([46.33.159.39]:61010) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with esmtp id 1TbY6H-0005Ak-Yb (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 14:49:58 +0000 X-IronPort-AV: E=Sophos;i="4.83,301,1352073600"; d="scan'208,217";a="15957401" Received: from lonpmailmx02.citrite.net ([10.30.203.163]) by LONPIPO01.EU.CITRIX.COM with ESMTP/TLS/RC4-MD5; 22 Nov 2012 14:49:56 +0000 Received: from LONPMAILBOX01.citrite.net ([10.30.224.161]) by LONPMAILMX02.citrite.net ([10.30.203.163]) with mapi; Thu, 22 Nov 2012 14:49:56 +0000 From: Dave Scott To: Yiming Zhang Date: Thu, 22 Nov 2012 14:49:54 +0000 Subject: Re: About the cohttp Thread-Topic: About the cohttp Thread-Index: Ac3IwKNZGOv7H2wGSzeV9+goSa2CCA== Message-ID: <9B859AE8-187E-41BC-8416-68826B9CBD2A@eu.citrix.com> References: <001901cdc8c0$5427c160$fc774420$@gmail.com> In-Reply-To: <001901cdc8c0$5427c160$fc774420$@gmail.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: multipart/alternative; boundary="_000_9B859AE8187E41BC841668826B9CBD2Aeucitrixcom_" MIME-Version: 1.0 Cc: "cl-mirage@lists.cam.ac.uk" X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 22 Nov 2012 14:49:58 -0000 Content-Length: 5377 Lines: 79 --_000_9B859AE8187E41BC841668826B9CBD2Aeucitrixcom_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 VHJ5ICJvcGFtIGluc3RhbGwgc3NsIi0tIHRoYXQgc2hvdWxkIHRyaWdnZXIgYSByZWJ1aWxkIG9m IGx3dCB3aXRoIHNzbCBzdXBwb3J0Lg0KDQotLQ0KRGF2ZSBTY290dA0KDQpPbiBOb3YgMjIsIDIw MTIsIGF0IDI6NDcgUE0sICJZaW1pbmcgWmhhbmciIDxzZGlyaXNAZ21haWwuY29tPG1haWx0bzpz ZGlyaXNAZ21haWwuY29tPj4gd3JvdGU6DQoNCkFuaWwsDQoNCkkgd2FudCB0byBzdHVkeSB5b3Vy IGNvaHR0cCBwcm9qZWN0IGFzIGFuIGV4YW1wbGUgb2Ygd3JpdGluZyBvY2FtbCB3ZWIgYXBwbGlj YXRpb25zLiBJcyBpdCBhIGdvb2QgY2hvaWNlPw0KDQpGb3Igd3JpdGluZyBsd3QgcHJvZ3JhbXMg b24gTGludXgsIEkgdGhpbmsgY3VycmVudGx5IEkgb25seSBuZWVkIHRvIGZvY3VzIG9uIHRoZSBz ZWN0aW9uIOKAnExpYnJhcnkgY29odHRwX2x3dF91bml44oCdIGluIHRoZSDigJxfb2FzaXPigJ0g ZmlsZSAoYW5kIHRoZSByZWxldmFudCB0ZXN0IHNlY3Rpb25zKSwgcmlnaHQ/DQoNClRoZSBjdXJy ZW50IHByb2JsZW0gaXMgdGhlIHNoZWxsIGNvbW1hbmQgaW4gTWFrZWZpbGUg4oCcb2NhbWxmaW5k IHF1ZXJ5IGx3dC5zc2zigJ0gY2Fubm90IGZpbmQgbHd0LnNzbCBhbmQgcmVwbGllcyDigJxvY2Ft bGZpbmQ6IFBhY2thZ2UgYGx3dC5zc2wnIG5vdCBmb3VuZOKAnS4gRG8geW91IGhhdmUgYW55IGlk ZWFzIGZvciB0aGF0Pw0KDQpUaGFua3MhDQpZaW1pbmcNCg== --_000_9B859AE8187E41BC841668826B9CBD2Aeucitrixcom_ Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PG1ldGEgaHR0cC1lcXVpdj0iY29udGVudC10eXBlIiBjb250ZW50PSJ0ZXh0 L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPjwvaGVhZD48Ym9keSBkaXI9ImF1dG8iPjxkaXY+VHJ5ICJv cGFtIGluc3RhbGwgc3NsIi0tIHRoYXQgc2hvdWxkIHRyaWdnZXIgYSByZWJ1aWxkIG9mIGx3dCB3 aXRoIHNzbCBzdXBwb3J0Ljxicj48YnI+LS0mbmJzcDs8ZGl2PkRhdmUgU2NvdHQ8L2Rpdj48L2Rp dj48ZGl2Pjxicj5PbiBOb3YgMjIsIDIwMTIsIGF0IDI6NDcgUE0sICJZaW1pbmcgWmhhbmciICZs dDs8YSBocmVmPSJtYWlsdG86c2RpcmlzQGdtYWlsLmNvbSI+c2RpcmlzQGdtYWlsLmNvbTwvYT4m Z3Q7IHdyb3RlOjxicj48YnI+PC9kaXY+PGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSI+PGRpdj4NCjxt ZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0idGV4dC9odG1sOyBjaGFyc2V0 PVdpbmRvd3MtMTI1MiI+PG1ldGEgbmFtZT0iR2VuZXJhdG9yIiBjb250ZW50PSJNaWNyb3NvZnQg V29yZCAxNCAoZmlsdGVyZWQgbWVkaXVtKSI+PHN0eWxlPjwhLS0NCi8qIEZvbnQgRGVmaW5pdGlv bnMgKi8NCkBmb250LWZhY2UNCgl7Zm9udC1mYW1pbHk6U2ltU3VuOw0KCXBhbm9zZS0xOjIgMSA2 IDAgMyAxIDEgMSAxIDE7fQ0KQGZvbnQtZmFjZQ0KCXtmb250LWZhbWlseTpTaW1TdW47DQoJcGFu b3NlLTE6MiAxIDYgMCAzIDEgMSAxIDEgMTt9DQpAZm9udC1mYWNlDQoJe2ZvbnQtZmFtaWx5OkNh bGlicmk7DQoJcGFub3NlLTE6MiAxNSA1IDIgMiAyIDQgMyAyIDQ7fQ0KQGZvbnQtZmFjZQ0KCXtm b250LWZhbWlseTpTaW1TdW47DQoJcGFub3NlLTE6MiAxIDYgMCAzIDEgMSAxIDEgMTt9DQovKiBT dHlsZSBEZWZpbml0aW9ucyAqLw0KcC5Nc29Ob3JtYWwsIGxpLk1zb05vcm1hbCwgZGl2Lk1zb05v cm1hbA0KCXttYXJnaW46MGNtOw0KCW1hcmdpbi1ib3R0b206LjAwMDFwdDsNCgl0ZXh0LWFsaWdu Omp1c3RpZnk7DQoJdGV4dC1qdXN0aWZ5OmludGVyLWlkZW9ncmFwaDsNCglmb250LXNpemU6MTAu NXB0Ow0KCWZvbnQtZmFtaWx5OiJDYWxpYnJpIiwic2Fucy1zZXJpZiI7fQ0KYTpsaW5rLCBzcGFu Lk1zb0h5cGVybGluaw0KCXttc28tc3R5bGUtcHJpb3JpdHk6OTk7DQoJY29sb3I6Ymx1ZTsNCgl0 ZXh0LWRlY29yYXRpb246dW5kZXJsaW5lO30NCmE6dmlzaXRlZCwgc3Bhbi5Nc29IeXBlcmxpbmtG b2xsb3dlZA0KCXttc28tc3R5bGUtcHJpb3JpdHk6OTk7DQoJY29sb3I6cHVycGxlOw0KCXRleHQt ZGVjb3JhdGlvbjp1bmRlcmxpbmU7fQ0Kc3Bhbi5FbWFpbFN0eWxlMTcNCgl7bXNvLXN0eWxlLXR5 cGU6cGVyc29uYWwtY29tcG9zZTsNCglmb250LWZhbWlseToiQ2FsaWJyaSIsInNhbnMtc2VyaWYi Ow0KCWNvbG9yOndpbmRvd3RleHQ7fQ0KLk1zb0NocERlZmF1bHQNCgl7bXNvLXN0eWxlLXR5cGU6 ZXhwb3J0LW9ubHk7fQ0KLyogUGFnZSBEZWZpbml0aW9ucyAqLw0KQHBhZ2UgV29yZFNlY3Rpb24x DQoJe3NpemU6NjEyLjBwdCA3OTIuMHB0Ow0KCW1hcmdpbjo3Mi4wcHQgOTAuMHB0IDcyLjBwdCA5 MC4wcHQ7fQ0KZGl2LldvcmRTZWN0aW9uMQ0KCXtwYWdlOldvcmRTZWN0aW9uMTt9DQotLT48L3N0 eWxlPjwhLS1baWYgZ3RlIG1zbyA5XT48eG1sPg0KPG86c2hhcGVkZWZhdWx0cyB2OmV4dD0iZWRp dCIgc3BpZG1heD0iMTAyNiIgLz4NCjwveG1sPjwhW2VuZGlmXS0tPjwhLS1baWYgZ3RlIG1zbyA5 XT48eG1sPg0KPG86c2hhcGVsYXlvdXQgdjpleHQ9ImVkaXQiPg0KPG86aWRtYXAgdjpleHQ9ImVk aXQiIGRhdGE9IjEiIC8+DQo8L286c2hhcGVsYXlvdXQ+PC94bWw+PCFbZW5kaWZdLS0+PGRpdiBj bGFzcz0iV29yZFNlY3Rpb24xIj48cCBjbGFzcz0iTXNvTm9ybWFsIj48c3BhbiBsYW5nPSJFTi1V UyI+QW5pbCw8bzpwPjwvbzpwPjwvc3Bhbj48L3A+PHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4g bGFuZz0iRU4tVVMiPjxvOnA+Jm5ic3A7PC9vOnA+PC9zcGFuPjwvcD48cCBjbGFzcz0iTXNvTm9y bWFsIj48c3BhbiBsYW5nPSJFTi1VUyI+SSB3YW50IHRvIHN0dWR5IHlvdXIgY29odHRwIHByb2pl Y3QgYXMgYW4gZXhhbXBsZSBvZiB3cml0aW5nIG9jYW1sIHdlYiBhcHBsaWNhdGlvbnMuIElzIGl0 IGEgZ29vZCBjaG9pY2U/PG86cD48L286cD48L3NwYW4+PC9wPjxwIGNsYXNzPSJNc29Ob3JtYWwi PjxzcGFuIGxhbmc9IkVOLVVTIj48bzpwPiZuYnNwOzwvbzpwPjwvc3Bhbj48L3A+PHAgY2xhc3M9 Ik1zb05vcm1hbCI+PHNwYW4gbGFuZz0iRU4tVVMiPkZvciB3cml0aW5nIGx3dCBwcm9ncmFtcyBv biBMaW51eCwgSSB0aGluayBjdXJyZW50bHkgSSBvbmx5IG5lZWQgdG8gZm9jdXMgb24gdGhlIHNl Y3Rpb24g4oCcTGlicmFyeSBjb2h0dHBfbHd0X3VuaXjigJ0gaW4gdGhlIOKAnF9vYXNpc+KAnSBm aWxlIChhbmQgdGhlIHJlbGV2YW50IHRlc3Qgc2VjdGlvbnMpLCByaWdodD88bzpwPjwvbzpwPjwv c3Bhbj48L3A+PHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4gbGFuZz0iRU4tVVMiPjxvOnA+Jm5i c3A7PC9vOnA+PC9zcGFuPjwvcD48cCBjbGFzcz0iTXNvTm9ybWFsIj48c3BhbiBsYW5nPSJFTi1V UyI+VGhlIGN1cnJlbnQgcHJvYmxlbSBpcyB0aGUgc2hlbGwgY29tbWFuZCBpbiBNYWtlZmlsZSDi gJxvY2FtbGZpbmQgcXVlcnkgbHd0LnNzbOKAnSBjYW5ub3QgZmluZCBsd3Quc3NsIGFuZCByZXBs aWVzIOKAnG9jYW1sZmluZDogUGFja2FnZSBgbHd0LnNzbCcgbm90IGZvdW5k4oCdLiBEbyB5b3Ug aGF2ZSBhbnkgaWRlYXMgZm9yIHRoYXQ/PG86cD48L286cD48L3NwYW4+PC9wPjxwIGNsYXNzPSJN c29Ob3JtYWwiPjxzcGFuIGxhbmc9IkVOLVVTIj48bzpwPiZuYnNwOzwvbzpwPjwvc3Bhbj48L3A+ PHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4gbGFuZz0iRU4tVVMiPlRoYW5rcyE8bzpwPjwvbzpw Pjwvc3Bhbj48L3A+PHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4gbGFuZz0iRU4tVVMiPllpbWlu ZzxvOnA+PC9vOnA+PC9zcGFuPjwvcD48L2Rpdj48L2Rpdj48L2Jsb2NrcXVvdGU+PC9ib2R5Pjwv aHRtbD4= --_000_9B859AE8187E41BC841668826B9CBD2Aeucitrixcom_-- From sdiris@gmail.com Thu Nov 22 16:12:13 2012 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TbZNs-0002x3-VM (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 16:12:12 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1412016 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [74.125.82.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (sdiris[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-we0-f179.google.com ([74.125.82.179]:64082) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp id 1TbZNs-0004LL-qd (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 16:12:12 +0000 Received: by mail-we0-f179.google.com with SMTP id r6so2343473wey.38 for ; Thu, 22 Nov 2012 08:12:12 -0800 (PST) Received: by 10.216.139.137 with SMTP id c9mr494552wej.54.1353600732090; Thu, 22 Nov 2012 08:12:12 -0800 (PST) Received: from YimingZhangPC (c187.al.cl.cam.ac.uk. [128.232.110.187]) by mx.google.com with ESMTPS id s12sm4669901wik.11.2012.11.22.08.12.10 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 22 Nov 2012 08:12:11 -0800 (PST) From: "Yiming Zhang" To: "'Dave Scott'" References: <001901cdc8c0$5427c160$fc774420$@gmail.com> <9B859AE8-187E-41BC-8416-68826B9CBD2A@eu.citrix.com> In-Reply-To: <9B859AE8-187E-41BC-8416-68826B9CBD2A@eu.citrix.com> Subject: =?UTF-8?Q?=E7=AD=94=E5=A4=8D:_About_the_cohttp?= Date: Thu, 22 Nov 2012 16:12:14 -0000 Message-ID: <002601cdc8cc$2399ad90$6acd08b0$@gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0027_01CDC8CC.239ABF00" X-Mailer: Microsoft Outlook 14.0 Thread-Index: AQDUvfDJsB//ZD+YE+c+dZcLjzwfBQKAkWYYmdQVozA= Content-Language: zh-cn Cc: cl-mirage@lists.cam.ac.uk, Anil Madhavapeddy X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 22 Nov 2012 16:12:13 -0000 Content-Length: 8347 Lines: 225 This is a multipart message in MIME format. ------=_NextPart_000_0027_01CDC8CC.239ABF00 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dave, =20 Thanks for your suggestion. But when I tye =E2=80=9Copam install = ssl=E2=80=9D, the following error happens: >>configure: error: Cannot find libssl.=20 >> 'opam install ssl' failed =20 But I find (in Synaptic Package Manager) that libss0.9.8 is already = installed in /usr/lib/ssl.=20 =20 Do you have any idea? =20 Thank you! Yiming =20 =E5=8F=91=E4=BB=B6=E4=BA=BA: Dave Scott = [mailto:Dave.Scott@eu.citrix.com]=20 =E5=8F=91=E9=80=81=E6=97=B6=E9=97=B4: = 2012=E5=B9=B411=E6=9C=8822=E6=97=A5 14:50 =E6=94=B6=E4=BB=B6=E4=BA=BA: Yiming Zhang =E6=8A=84=E9=80=81: cl-mirage@lists.cam.ac.uk =E4=B8=BB=E9=A2=98: Re: About the cohttp =20 Try "opam install ssl"-- that should trigger a rebuild of lwt with ssl = support. --=20 Dave Scott On Nov 22, 2012, at 2:47 PM, "Yiming Zhang" wrote: Anil, =20 I want to study your cohttp project as an example of writing ocaml web = applications. Is it a good choice? =20 For writing lwt programs on Linux, I think currently I only need to = focus on the section =E2=80=9CLibrary cohttp_lwt_unix=E2=80=9D in the = =E2=80=9C_oasis=E2=80=9D file (and the relevant test sections), right? =20 The current problem is the shell command in Makefile =E2=80=9Cocamlfind = query lwt.ssl=E2=80=9D cannot find lwt.ssl and replies = =E2=80=9Cocamlfind: Package `lwt.ssl' not found=E2=80=9D. Do you have = any ideas for that? =20 Thanks! Yiming ------=_NextPart_000_0027_01CDC8CC.239ABF00 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Dave,

Thanks for = your suggestion. But when I tye =E2=80=9Copam install ssl=E2=80=9D, the = following error happens:

>>configure: error: Cannot = find libssl.

>>=C2=A0 'opam install ssl' = failed

But I find = (in Synaptic Package Manager) that libss0.9.8 is already installed in = /usr/lib/ssl.

Do you have = any idea?

Thank = you!

Yiming

=E5=8F=91=E4=BB= =B6=E4=BA=BA: Dave Scott = [mailto:Dave.Scott@eu.citrix.com]
=E5=8F=91=E9=80= =81=E6=97=B6=E9=97=B4: = 2012=E5=B9=B411=E6=9C=8822=E6=97=A5 = 14:50
=E6=94=B6=E4=BB=B6=E4=BA=BA: Yiming = Zhang
=E6=8A=84=E9=80=81: = cl-mirage@lists.cam.ac.uk
=E4=B8=BB=E9=A2=98: Re: About the = cohttp

Try "opam install ssl"-- that should trigger a = rebuild of lwt with ssl = support.

--

Dave = Scott

On Nov 22, 2012, = at 2:47 PM, "Yiming Zhang" <sdiris@gmail.com> = wrote:

Anil,

I want to study your cohttp project = as an example of writing ocaml web applications. Is it a good = choice?

For writing lwt programs on Linux, I think currently I only = need to focus on the section =E2=80=9CLibrary cohttp_lwt_unix=E2=80=9D = in the =E2=80=9C_oasis=E2=80=9D file (and the relevant test sections), = right?

The current problem is the shell command in Makefile = =E2=80=9Cocamlfind query lwt.ssl=E2=80=9D cannot find lwt.ssl and = replies =E2=80=9Cocamlfind: Package `lwt.ssl' not found=E2=80=9D. Do you = have any ideas for that?

Thanks!
Yiming

= ------=_NextPart_000_0027_01CDC8CC.239ABF00-- From anil@recoil.org Thu Nov 22 16:21:53 2012 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TbZXF-0003GV-4b (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 16:21:53 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1412016 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:17751 helo=dark.recoil.org) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp id 1TbZXE-0006Pv-WP (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 16:21:53 +0000 Received: (qmail 10857 invoked by uid 634); 22 Nov 2012 16:21:51 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from no-dns-yet.demon.co.uk (HELO [192.168.15.169]) (62.49.66.12) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Thu, 22 Nov 2012 16:21:50 +0000 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) Subject: Re: About the cohttp From: Anil Madhavapeddy In-Reply-To: <002601cdc8cc$2399ad90$6acd08b0$@gmail.com> Date: Thu, 22 Nov 2012 16:21:50 +0000 Content-Transfer-Encoding: quoted-printable Message-Id: References: <001901cdc8c0$5427c160$fc774420$@gmail.com> <9B859AE8-187E-41BC-8416-68826B9CBD2A@eu.citrix.com> <002601cdc8cc$2399ad90$6acd08b0$@gmail.com> To: "Yiming Zhang" X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: 'Dave Scott' , cl-mirage@lists.cam.ac.uk X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 22 Nov 2012 16:21:53 -0000 Content-Length: 1696 Lines: 56 You probably need to install the 'dev' version of SSL, to get the = various header files. Do you have a 'libssl-dev' available in your = distribution? -anil On 22 Nov 2012, at 16:12, "Yiming Zhang" wrote: > Dave, > =20 > Thanks for your suggestion. But when I tye =E2=80=9Copam install = ssl=E2=80=9D, the following error happens: > >>configure: error: Cannot find libssl. > >> 'opam install ssl' failed > =20 > But I find (in Synaptic Package Manager) that libss0.9.8 is already = installed in /usr/lib/ssl. > =20 > Do you have any idea? > =20 > Thank you! > Yiming > =20 > =E5=8F=91=E4=BB=B6=E4=BA=BA: Dave Scott = [mailto:Dave.Scott@eu.citrix.com]=20 > =E5=8F=91=E9=80=81=E6=97=B6=E9=97=B4: 2012=E5=B9=B411=E6=9C=8822=E6=97=A5= 14:50 > =E6=94=B6=E4=BB=B6=E4=BA=BA: Yiming Zhang > =E6=8A=84=E9=80=81: cl-mirage@lists.cam.ac.uk > =E4=B8=BB=E9=A2=98: Re: About the cohttp > =20 > Try "opam install ssl"-- that should trigger a rebuild of lwt with ssl = support. >=20 > --=20 > Dave Scott >=20 > On Nov 22, 2012, at 2:47 PM, "Yiming Zhang" wrote: >=20 > Anil, > =20 > I want to study your cohttp project as an example of writing ocaml web = applications. Is it a good choice? > =20 > For writing lwt programs on Linux, I think currently I only need to = focus on the section =E2=80=9CLibrary cohttp_lwt_unix=E2=80=9D in the = =E2=80=9C_oasis=E2=80=9D file (and the relevant test sections), right? > =20 > The current problem is the shell command in Makefile =E2=80=9Cocamlfind = query lwt.ssl=E2=80=9D cannot find lwt.ssl and replies =E2=80=9Cocamlfind:= Package `lwt.ssl' not found=E2=80=9D. Do you have any ideas for that? > =20 > Thanks! > Yiming From sdiris@gmail.com Thu Nov 22 17:02:51 2012 Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TbaAt-0005FQ-8C (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 17:02:51 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.6 from SpamAssassin-3.3.2-1412016 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.212.175 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (sdiris[at]gmail.com) * 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is * CUSTOM_MED * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid * 1.2 NML_ADSP_CUSTOM_MED ADSP custom_med hit, and not from a mailing * list X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wi0-f175.google.com ([209.85.212.175]:50620) by ppsw-41.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.146]:25) with esmtp id 1TbaAs-0004ce-SP (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Thu, 22 Nov 2012 17:02:51 +0000 Received: by mail-wi0-f175.google.com with SMTP id hm11so745330wib.2 for ; Thu, 22 Nov 2012 09:02:50 -0800 (PST) Received: by 10.180.102.161 with SMTP id fp1mr2229026wib.9.1353603770644; Thu, 22 Nov 2012 09:02:50 -0800 (PST) Received: from YimingZhangPC (c187.al.cl.cam.ac.uk. [128.232.110.187]) by mx.google.com with ESMTPS id gk9sm4881329wib.4.2012.11.22.09.02.48 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 22 Nov 2012 09:02:49 -0800 (PST) From: "Yiming Zhang" To: "'Anil Madhavapeddy'" References: <001901cdc8c0$5427c160$fc774420$@gmail.com> <9B859AE8-187E-41BC-8416-68826B9CBD2A@eu.citrix.com> <002601cdc8cc$2399ad90$6acd08b0$@gmail.com> In-Reply-To: Subject: =?UTF-8?Q?=E7=AD=94=E5=A4=8D:_About_the_cohttp?= Date: Thu, 22 Nov 2012 17:02:53 -0000 Message-ID: <002b01cdc8d3$36831f70$a3895e50$@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook 14.0 Thread-Index: AQDUvfDJsB//ZD+YE+c+dZcLjzwfBQKAkWYYAmzmQfMCXzqdRZmtxJuQ Content-Language: zh-cn Cc: cl-mirage@lists.cam.ac.uk X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 22 Nov 2012 17:02:51 -0000 Content-Length: 2123 Lines: 69 Problem solved after I install libssl-dev. Thanks to anil and dave! Yiming -----=E9=82=AE=E4=BB=B6=E5=8E=9F=E4=BB=B6----- =E5=8F=91=E4=BB=B6=E4=BA=BA: Anil Madhavapeddy [mailto:anil@recoil.org]=20 =E5=8F=91=E9=80=81=E6=97=B6=E9=97=B4: = 2012=E5=B9=B411=E6=9C=8822=E6=97=A5 16:22 =E6=94=B6=E4=BB=B6=E4=BA=BA: Yiming Zhang =E6=8A=84=E9=80=81: 'Dave Scott'; cl-mirage@lists.cam.ac.uk =E4=B8=BB=E9=A2=98: Re: About the cohttp You probably need to install the 'dev' version of SSL, to get the = various header files. Do you have a 'libssl-dev' available in your = distribution? -anil On 22 Nov 2012, at 16:12, "Yiming Zhang" wrote: > Dave, > =20 > Thanks for your suggestion. But when I tye =E2=80=9Copam install = ssl=E2=80=9D, the following error happens: > >>configure: error: Cannot find libssl. > >> 'opam install ssl' failed > =20 > But I find (in Synaptic Package Manager) that libss0.9.8 is already = installed in /usr/lib/ssl. > =20 > Do you have any idea? > =20 > Thank you! > Yiming > =20 > =E5=8F=91=E4=BB=B6=E4=BA=BA: Dave Scott = [mailto:Dave.Scott@eu.citrix.com]=20 > =E5=8F=91=E9=80=81=E6=97=B6=E9=97=B4: = 2012=E5=B9=B411=E6=9C=8822=E6=97=A5 14:50 > =E6=94=B6=E4=BB=B6=E4=BA=BA: Yiming Zhang > =E6=8A=84=E9=80=81: cl-mirage@lists.cam.ac.uk > =E4=B8=BB=E9=A2=98: Re: About the cohttp > =20 > Try "opam install ssl"-- that should trigger a rebuild of lwt with ssl = support. >=20 > --=20 > Dave Scott >=20 > On Nov 22, 2012, at 2:47 PM, "Yiming Zhang" wrote: >=20 > Anil, > =20 > I want to study your cohttp project as an example of writing ocaml web = applications. Is it a good choice? > =20 > For writing lwt programs on Linux, I think currently I only need to = focus on the section =E2=80=9CLibrary cohttp_lwt_unix=E2=80=9D in the = =E2=80=9C_oasis=E2=80=9D file (and the relevant test sections), right? > =20 > The current problem is the shell command in Makefile = =E2=80=9Cocamlfind query lwt.ssl=E2=80=9D cannot find lwt.ssl and = replies =E2=80=9Cocamlfind: Package `lwt.ssl' not found=E2=80=9D. Do you = have any ideas for that? > =20 > Thanks! > Yiming From Richard.Mortier@nottingham.ac.uk Fri Nov 23 16:31:18 2012 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Tbw9u-0006sF-Hi (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 23 Nov 2012 16:31:18 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1412451 * 0.0 MIME_QP_LONG_LINE RAW: Quoted-printable line longer than 76 chars X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from engine03-20433-10.icritical.com ([93.159.202.53]:59696) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp id 1Tbw9t-0007UY-r8 (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 23 Nov 2012 16:31:18 +0000 Received: (qmail 25937 invoked from network); 23 Nov 2012 16:31:10 -0000 Received: from localhost (127.0.0.1) by engine03-20433-10.icritical.com with SMTP; 23 Nov 2012 16:31:10 -0000 Received: from engine03-20433-10.icritical.com ([127.0.0.1]) by localhost (engine03-20433-10.icritical.com [127.0.0.1]) (amavisd-new, port 10024) with SMTP id 25420-01 for ; Fri, 23 Nov 2012 16:31:03 +0000 (GMT) Received: (qmail 25414 invoked by uid 599); 23 Nov 2012 16:31:02 -0000 Received: from unknown (HELO smtp4.nottingham.ac.uk) (128.243.220.65) by engine03-20433-10.icritical.com (qpsmtpd/0.28) with ESMTP; Fri, 23 Nov 2012 16:31:02 +0000 Received: from uiwexhub01.ad.nottingham.ac.uk ([128.243.15.133]) by smtp4.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.77) (envelope-from ) id 1Tbw9f-0002kM-Np for cl-mirage@lists.cam.ac.uk; Fri, 23 Nov 2012 16:31:03 +0000 Received: from EXCHANGE1.ad.nottingham.ac.uk ([fe80::7962:f868:e6ee:6267]) by UIWEXHUB01.ad.nottingham.ac.uk ([2002:80f3:f85::80f3:f85]) with mapi; Fri, 23 Nov 2012 16:31:03 +0000 From: Richard Mortier To: "cl-mirage@lists.cam.ac.uk List" Date: Fri, 23 Nov 2012 16:31:02 +0000 Subject: dns performance evaluation Thread-Topic: dns performance evaluation Thread-Index: Ac3Jl+3RPjyc8L4iRsWfhn9BwKbz0w== Message-ID: Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Virus-Scanned: by iCritical at engine03-20433-10.icritical.com Cc: Thomas Gazagnaire X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 23 Nov 2012 16:31:18 -0000 Content-Length: 2042 Lines: 46 at anil's request, some pointers to the scripts used to generate dns perfor= mance eval plots for the asplos paper... the scripts are in . they're *very* hacky - i take no responsibility if you feel queasy readi= ng them ;) in outline: * setup.sh pulls and builds the necessary tarballs locally (notably bind, n= sd and the bind tools of which dnsperf is one) * setup-xen-images.sh creates the xen VM images that i used (not necessary = if just doing the tests on unix; although i don't think the scripts directl= y support that now because i never had to do that) * generate.sh runs the dns-perf perl scripts etc to generate the necessary = test zone files, etc * run.sh runs the tests -- this involves firing up VMs and invoking command= s on them via ssh; again, can be dramatically simplified if you're just tes= ting direct on unix the config inputs to the scripts are in . contains the mirage code implementing the DNS server -- it's a separ= ate app because it uses the crunch fs to build an app with the zonefile sta= tically included.=20 let me know if you have any questions... --=20 Cheers, R. This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From Richard.Mortier@nottingham.ac.uk Fri Nov 23 16:37:52 2012 Received: from ppsw-51.csi.cam.ac.uk ([131.111.8.151]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1TbwGG-0007NW-1W (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 23 Nov 2012 16:37:52 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1412451 * 0.0 MIME_QP_LONG_LINE RAW: Quoted-printable line longer than 76 chars X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from engine03-20433-10.icritical.com ([93.159.202.53]:33032) by ppsw-51.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.148]:25) with smtp id 1TbwGF-0007Mx-WG (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Fri, 23 Nov 2012 16:37:51 +0000 Received: (qmail 31587 invoked from network); 23 Nov 2012 16:37:49 -0000 Received: from localhost (127.0.0.1) by engine03-20433-10.icritical.com with SMTP; 23 Nov 2012 16:37:49 -0000 Received: from engine03-20433-10.icritical.com ([127.0.0.1]) by localhost (engine03-20433-10.icritical.com [127.0.0.1]) (amavisd-new, port 10024) with SMTP id 30800-10 for ; Fri, 23 Nov 2012 16:37:42 +0000 (GMT) Received: (qmail 25414 invoked by uid 599); 23 Nov 2012 16:31:02 -0000 Received: from unknown (HELO smtp4.nottingham.ac.uk) (128.243.220.65) by engine03-20433-10.icritical.com (qpsmtpd/0.28) with ESMTP; Fri, 23 Nov 2012 16:31:02 +0000 Received: from uiwexhub01.ad.nottingham.ac.uk ([128.243.15.133]) by smtp4.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.77) (envelope-from ) id 1Tbw9f-0002kM-Np for cl-mirage@lists.cam.ac.uk; Fri, 23 Nov 2012 16:31:03 +0000 Received: from EXCHANGE1.ad.nottingham.ac.uk ([fe80::7962:f868:e6ee:6267]) by UIWEXHUB01.ad.nottingham.ac.uk ([2002:80f3:f85::80f3:f85]) with mapi; Fri, 23 Nov 2012 16:31:03 +0000 From: Richard Mortier To: "cl-mirage@lists.cam.ac.uk List" Date: Fri, 23 Nov 2012 16:31:02 +0000 Subject: dns performance evaluation Thread-Topic: dns performance evaluation Thread-Index: Ac3Jl+3RPjyc8L4iRsWfhn9BwKbz0w== Message-ID: Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Virus-Scanned: by iCritical at engine03-20433-10.icritical.com Cc: Thomas Gazagnaire X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 23 Nov 2012 16:37:52 -0000 Content-Length: 2042 Lines: 46 at anil's request, some pointers to the scripts used to generate dns perfor= mance eval plots for the asplos paper... the scripts are in . they're *very* hacky - i take no responsibility if you feel queasy readi= ng them ;) in outline: * setup.sh pulls and builds the necessary tarballs locally (notably bind, n= sd and the bind tools of which dnsperf is one) * setup-xen-images.sh creates the xen VM images that i used (not necessary = if just doing the tests on unix; although i don't think the scripts directl= y support that now because i never had to do that) * generate.sh runs the dns-perf perl scripts etc to generate the necessary = test zone files, etc * run.sh runs the tests -- this involves firing up VMs and invoking command= s on them via ssh; again, can be dramatically simplified if you're just tes= ting direct on unix the config inputs to the scripts are in . contains the mirage code implementing the DNS server -- it's a separ= ate app because it uses the crunch fs to build an app with the zonefile sta= tically included.=20 let me know if you have any questions... --=20 Cheers, R. This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From anil@recoil.org Wed Nov 28 11:26:48 2012 Received: from ppsw-43.csi.cam.ac.uk ([131.111.8.143]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1Tdfmy-0003K9-Qx (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Nov 2012 11:26:48 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score 0.0 from SpamAssassin-3.3.2-1414021 X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:4134 helo=dark.recoil.org) by ppsw-43.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.149]:25) with smtp id 1Tdfmy-0005KS-nM (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 28 Nov 2012 11:26:48 +0000 Received: (qmail 28492 invoked by uid 634); 28 Nov 2012 11:26:48 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.0.83]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 28 Nov 2012 11:26:47 +0000 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 6.1 $1498$) Subject: Re: [Xen-API] Getting into shape for GSOC 2013 From: Anil Madhavapeddy In-Reply-To: <50A4F83D.4000205@xen.org> Date: Wed, 28 Nov 2012 11:26:51 +0000 Content-Transfer-Encoding: quoted-printable Message-Id: <7E959CCA-3CB4-4EED-8110-25892DF78C6B@recoil.org> References: <50A4F83D.4000205@xen.org> To: lars.kurth@xen.org X-Mailer: Apple Mail (2.1498) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Cc: "cl-mirage@lists.cam.ac.uk List" , xen-api@lists.xen.org X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Nov 2012 11:26:48 -0000 Content-Length: 1961 Lines: 57 Thanks for the reminder Lars. I've added several Mirage-related = projects under the XCP umbrella: = http://wiki.xen.org/wiki/Xen_Development_Projects#Xen_Cloud_Platform_.28XC= P.29_and_XAPI_projects Further suggestions are welcome! -anil On 15 Nov 2012, at 14:12, Lars Kurth wrote: > Hi everybody, >=20 > this is a gentle reminder to update = http://wiki.xen.org/wiki/Xen_Development_Projects and to start thinking = about projects that are suitable for GSoC. The template to add items to = the project page is below... >=20 > {{project > |Project=3DProject description > |Date=3Ddate of insert > |Contact=3DOwner name > |Desc=3DDescription of > |GSoC=3DYes or No, or any other GSoC related comment > }} >=20 > In 2012, we didn't make it into GSoC because we didn't have a good = enough project list. We need to have a list of about 10 good project = proposals for GSoC and present these nicely. It would be a real shame, = if we didn't make it in 2013, in particular with some of the exciting = work which is going on at the moment. >=20 > In 2011, when we made it our project list was at = http://wiki.xen.org/wiki/Archived/GSoc_2011_Ideas ... Google has raised = the bar, so we need to have > a) Really good descriptions for our GSoC projects > b) Pre-assign mentors to each project > c) Ideally I would like to add biography and interest section for all = our mentors. I can create a wiki template for mentors if it helps >=20 > All this needs to be in place when we apply for GSoC as a mentoring = organisation. The application deadline is likely in early February 2013, = so starting on this now should leave us in good shape! If we get a good = list of projects together this year, we can tidy it up, iterate and = improve in January! >=20 > Best Regards > Lars >=20 > _______________________________________________ > Xen-api mailing list > Xen-api@lists.xen.org > http://lists.xen.org/cgi-bin/mailman/listinfo/xen-api >=20