From owner-freebsd-ports Sat Dec 9 9:26:35 2000 From owner-freebsd-ports@FreeBSD.ORG Sat Dec 9 09:26:33 2000 Return-Path: Delivered-To: freebsd-ports@freebsd.org Received: from mailgw1.be.to (mailgw1.be.to [210.235.212.5]) by hub.freebsd.org (Postfix) with ESMTP id B3EC537B401 for ; Sat, 9 Dec 2000 09:26:32 -0800 (PST) Received: from mail1.be.to (mail1.be.to [210.235.212.2]) by mailgw1.be.to (8.11.0+3.3W/8.11.0/BETO3.11-20000907025324) with ESMTP id eB9HQLQ29975 for ; Sun, 10 Dec 2000 02:26:21 +0900 (envelope-from okazaki@be.to) Received: from REISHI (mitaka1-88.kcom.ne.jp [210.174.84.88]) by mail1.be.to (8.9.3+3.2W/BETO.2.0-2000090621000000) with SMTP id CAA30694 for ; Sun, 10 Dec 2000 02:26:20 +0900 Received: (qmail 539 invoked from network); 9 Dec 2000 17:25:07 -0000 Received: from localhost (HELO acidrain.localnet) (127.0.0.1) by localhost with SMTP; 9 Dec 2000 17:25:07 -0000 Date: Sun, 10 Dec 2000 02:25:04 +0900 Message-ID: <86y9xpik27.wl@dolphin.be.to> From: OKAZAKI Tetsurou To: Palle Girgensohn Cc: freebsd-ports@FreeBSD.org Subject: Re: ports/23357: New port: java/jakarta-regexp In-Reply-To: <200012091610.eB9GA2L55192@freefall.freebsd.org> References: <200012091610.eB9GA2L55192@freefall.freebsd.org> User-Agent: Wanderlust/2.4.0 (Rio) SEMI/1.14.0 (Iburihashi) FLIM/1.14.0 (Ninokuchi) APEL/10.2 Emacs/20.7 (i386--freebsd) MULE/4.0 (HANANOEN) MIME-Version: 1.0 (generated by SEMI 1.14.0 - "Iburihashi") Content-Type: text/plain; charset=US-ASCII Sender: okazaki@be.to Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org In the message <200012091610.eB9GA2L55192@freefall.freebsd.org> Palle Girgensohn wrote: > > I'll submit a new version of the 'jakarta-oro' port ASAP. > I'm looking forward to it. BTW, I was planning to make a tomcat > port, unless someone else is sitting on it already? Heard > anything about that? Already ported in www/jakarta-tomcat, though it is not updated to 3.2... To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message