* Go back to the previous Jetty, this one produces several megabytes

of debug info per request and I can't be bothered to figure out
  how to turn it off.

svn path=/nixpkgs/trunk/; revision=10728
This commit is contained in:
Eelco Dolstra 2008-02-18 14:26:03 +00:00
parent f724e92f0f
commit 90a5f1fec4

View File

@ -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";
};
}