Summary: | jakarta-tomcat has unnecessary and/or incorrect definition for WRKDIR | ||
---|---|---|---|
Product: | Ports & Packages | Reporter: | Juha Ylitalo <juha.ylitalo> |
Component: | Individual Port(s) | Assignee: | Ernst de Haan <znerd> |
Status: | Closed FIXED | ||
Severity: | Affects Only Me | ||
Priority: | Normal | ||
Version: | Latest | ||
Hardware: | Any | ||
OS: | Any |
Description
Juha Ylitalo
2002-06-20 21:20:01 UTC
Responsible Changed From-To: freebsd-ports->znerd Over to maintainer State Changed From-To: open->closed Committed the change to the jakarta-tomcat4 port and to all related ports(JBoss 2/3, Orion, Tomcat 3). Thanks! |