www/jetty9: Remove expired port

2023-11-30 www/jetty9: End of life as of 2022-06-01, consider migrating to www/jetty10
freebsd · Dec 2, 2023 · 8e99797 · 8e99797
1 parent 210ae75
commit 8e99797
Show file tree

Hide file tree

Showing 10 changed files with 1 addition and 703 deletions.
diff --git a/MOVED b/MOVED
@@ -8153,3 +8153,4 @@ textproc/bibtool||2023-12-02|Has expired: BROKEN for more than an year
 games/gnome-taquin||2023-12-02|Has expired: BROKEN for more than a year and no upstream activity for more than 2 years
 audio/mous||2023-12-02|Has expired: BROKEN for more than a year
 audio/mixxx22|audio/mixxx|2023-12-02|Has expired: Deprecated upstream, consider migrating to audio/mixxx
+www/jetty9||2023-12-02|Has expired: End of life as of 2022-06-01, consider migrating to www/jetty10
diff --git a/www/Makefile b/www/Makefile
@@ -275,7 +275,6 @@
     SUBDIR += jericho-html
     SUBDIR += jesred
     SUBDIR += jetty10
-    SUBDIR += jetty9
     SUBDIR += jira-cli
     SUBDIR += jitsi-meet
     SUBDIR += jmeter

diff --git a/www/jetty9/Makefile b/www/jetty9/Makefile
diff --git a/www/jetty9/distinfo b/www/jetty9/distinfo
diff --git a/www/jetty9/files/jetty.in b/www/jetty9/files/jetty.in
diff --git a/www/jetty9/files/jetty.sample.in b/www/jetty9/files/jetty.sample.in
diff --git a/www/jetty9/files/patch-bin_jetty.sh b/www/jetty9/files/patch-bin_jetty.sh
diff --git a/www/jetty9/files/pkg-message.in b/www/jetty9/files/pkg-message.in
diff --git a/www/jetty9/pkg-descr b/www/jetty9/pkg-descr