diff --git a/pkgs/servers/http/jetty/default.nix b/pkgs/servers/http/jetty/default.nix index 0ba2136e0de..d9166382be3 100644 --- a/pkgs/servers/http/jetty/default.nix +++ b/pkgs/servers/http/jetty/default.nix @@ -1,19 +1,13 @@ {stdenv, fetchurl, unzip}: stdenv.mkDerivation { - name = "jetty-5.1.12"; - - src = fetchurl { - url = ftp://ftp.mortbay.org/pub/jetty-5/jetty-5.1.12.zip; - sha256 = "04nysajgrlyvfh810jpyr8iay38kwjrbmh6bgs10mwd30qhj4rd1"; - }; + name = "jetty-5.1.4"; + builder = ./bin-builder.sh; buildInputs = [unzip]; - buildPhase = "true"; - - installPhase = '' - ensureDir $out - cp -pr * $out/ - ''; + src = fetchurl { + url = mirror://sourceforge/jetty/jetty-5.1.4.zip; + md5 = "5d16bb1ea4a62dff93c0b7f7de00430f"; + }; }