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