jetty: Remove obsolete versions and init new default to 9.3.9.v20160517

pkgs/servers/http/jetty/6.1/bin-builder.sh

@@ -1,7 +0,0 @@
-set -e
-
-source $stdenv/setup
-
-unzip $src
-mkdir -p $out/$name
-mv jetty*/* $out/$name

pkgs/servers/http/jetty/6.1/default.nix

@@ -1,13 +0,0 @@
-{stdenv, fetchurl, unzip}:
-
-stdenv.mkDerivation {
-  name = "jetty-6.1.26";
-
-  builder = ./bin-builder.sh;
-  buildInputs = [unzip];
-
-  src = fetchurl {
-    url = http://dist.codehaus.org/jetty/jetty-6.1.26/jetty-6.1.26.zip;
-    sha256 = "11w1ciayv8zvxjg45xzs0kwc7k45x97sbnxkqb62sxy3gsw8xh4n";
-  };
-}

pkgs/servers/http/jetty/9.2.nix

@@ -1,28 +0,0 @@
-{ stdenv, fetchurl }:
-
-stdenv.mkDerivation rec {
-  name = "jetty-9.2.5";
-
-  src = fetchurl {
-    url = "http://eclipse.org/downloads/download.php?file=/jetty/stable-9/dist/jetty-distribution-9.2.11.v20150529.tar.gz&r=1";
-    name = "jetty-distribution-9.2.11.v20150529.tar.gz";
-    sha256 = "1d9s9l64b1l3x6vkx8qwgzfqwm55iq5g9xjjm2h2akf494yx1mrd";
-  };
-
-  phases = [ "unpackPhase" "installPhase" ];
-
-  installPhase = ''
-    mkdir -p $out
-    mv etc lib modules start.jar $out
-  '';
-
-  meta = {
-    description = "A Web server and javax.servlet container";
-
-    homepage = http://www.eclipse.org/jetty/;
-
-    platforms = stdenv.lib.platforms.all;
-
-    license = [ stdenv.lib.licenses.asl20 stdenv.lib.licenses.epl10 ];
-  };
-}

pkgs/servers/http/jetty/bin-builder.sh

@@ -1,7 +0,0 @@
-set -e
-
-source $stdenv/setup
-
-unzip $src
-mkdir $out
-mv jetty*/* $out

pkgs/servers/http/jetty/default.nix

@@ -1,13 +1,26 @@
-{stdenv, fetchurl, unzip}:
+{ stdenv, fetchurl }:
 
-stdenv.mkDerivation {
+stdenv.mkDerivation rec {
-  name = "jetty-6.1.4";
+  name = "jetty-${version}";
-
+  version = "9.3.9.v20160517";
-  builder = ./bin-builder.sh;
-  buildInputs = [unzip];
 
   src = fetchurl {
-    url = mirror://sourceforge/jetty/jetty-6.1.4.zip;
+    url = "http://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz";
-    sha256 = "061cx442g5a5szzms9zhnfmr4aipmqyy9r8m5r84gr79gz9z6dv0";
+    name = "jetty-distribution-${version}.tar.gz";
+    sha256 = "0yqzcv4mj9wj8882jssf8ylh6s3jhgylrqxfggbn102dw05pppqs";
+  };
+
+  phases = [ "unpackPhase" "installPhase" ];
+
+  installPhase = ''
+    mkdir -p $out
+    mv etc lib modules start.jar $out
+  '';
+
+  meta = {
+    description = "A Web server and javax.servlet container";
+    homepage = http://www.eclipse.org/jetty/;
+    platforms = stdenv.lib.platforms.all;
+    license = [ stdenv.lib.licenses.asl20 stdenv.lib.licenses.epl10 ];
   };
 }

pkgs/top-level/all-packages.nix

@@ -9954,10 +9954,6 @@ in
 
   jetty = callPackage ../servers/http/jetty { };
 
-  jetty61 = callPackage ../servers/http/jetty/6.1 { };
-
-  jetty92 = callPackage ../servers/http/jetty/9.2.nix { };
-
   rdkafka = callPackage ../development/libraries/rdkafka { };
 
   leafnode = callPackage ../servers/news/leafnode { };