From 90a5f1fec4da578fde9397d0045a0b38ca7589b5 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Mon, 18 Feb 2008 14:26:03 +0000
Subject: [PATCH] * 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
---
 pkgs/servers/http/jetty/default.nix | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

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