Ticket #14042 (new update)
Jetty-6.1.7
| Reported by: | graham.bakay@… | Owned by: | landonf@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.6.0 |
| Keywords: | Cc: | ||
| Port: | jetty |
Description
Attachments
Change History
comment:2 Changed 5 years ago by ryandesign@…
Graham, were you intending this to replace the existing jetty portfile (which currently installs 5.1.10), or exist alongside it as a new port? Is there any reason to want to keep the old version around? Usually there isn't, but I don't know jetty.
If you want this to replace the existing port, then I note you've listed yourself as sole maintainer. Has Landon given up the port? Have you discussed this with him?
I'm slightly unhappy with the new portfile because in addition to the functional updates it also makes a lot of whitespace changes compared to the existing jetty portfile. But I'll try to deal with that at commit time.
Note: See
TracTickets for help on using
tickets.


Portfile for Jetty 6.1.7