From owner-freebsd-ports Wed May 15 11:30:21 2002 Delivered-To: freebsd-ports@hub.freebsd.org Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21]) by hub.freebsd.org (Postfix) with ESMTP id 9F8E137B40B; Wed, 15 May 2002 11:30:09 -0700 (PDT) Received: (from znerd@localhost) by freefall.freebsd.org (8.11.6/8.11.6) id g4FIU9b80924; Wed, 15 May 2002 11:30:09 -0700 (PDT) (envelope-from znerd) Date: Wed, 15 May 2002 11:30:09 -0700 (PDT) From: Message-Id: <200205151830.g4FIU9b80924@freefall.freebsd.org> To: znerd@FreeBSD.org, freebsd-ports@FreeBSD.org, znerd@FreeBSD.org Subject: Re: ports/38020: ports/www/jakarta-tomcat4: stop tomcat via java -jar bootstrap.jar stop Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org Synopsis: ports/www/jakarta-tomcat4: stop tomcat via java -jar bootstrap.jar stop Responsible-Changed-From-To: freebsd-ports->znerd Responsible-Changed-By: znerd Responsible-Changed-When: Wed May 15 11:29:57 PDT 2002 Responsible-Changed-Why: I should handle this. http://www.freebsd.org/cgi/query-pr.cgi?pr=38020 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message