From: Jani Laakso <jani.laakso@itmill.com>
Date: Tue, 16 Oct 2007 18:29:34 +0000 (+0000)
Subject: JDK 1.4 FIX
X-Git-Tag: 6.7.0.beta1~5831
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=a1d73094a9c44be20f91153fd42e0e9de64f3067;p=vaadin-framework.git

JDK 1.4 FIX


svn changeset:2537/svn branch:trunk
---

diff --git a/src/com/itmill/toolkit/launcher/ITMillStandardLaunch.java b/src/com/itmill/toolkit/launcher/ITMillStandardLaunch.java
index f53443fcc6..41e75ca918 100644
--- a/src/com/itmill/toolkit/launcher/ITMillStandardLaunch.java
+++ b/src/com/itmill/toolkit/launcher/ITMillStandardLaunch.java
@@ -65,27 +65,32 @@ public class ITMillStandardLaunch {
 
 			Server server = new Server();
 
-			String threadPoolName = System.getProperty("jetty.threadpool.name",
-					"Jetty thread");
-			int maxIdleTimeMs = Integer.getInteger(
-					"jetty.threadpool.maxIdleTimeMs", 60000);
-			int maxThreads = Integer.getInteger("jetty.threadpool.maxThreads",
-					100);
-			int minThreads = Integer.getInteger("jetty.threadpool.minThreads",
-					1);
-			int lowThreads = Integer.getInteger(
-					"jetty.threadpool.maxIdleTimeMs", 25);
-			BoundedThreadPool threadPool = new BoundedThreadPool();
-			threadPool.setName(threadPoolName);
-			threadPool.setMaxIdleTimeMs(maxIdleTimeMs);
-			threadPool.setMaxThreads(maxThreads);
-			threadPool.setMinThreads(minThreads);
-			threadPool.setLowThreads(lowThreads);
-			server.setThreadPool(threadPool);
+			// String threadPoolName =
+			// System.getProperty("jetty.threadpool.name",
+			// "Jetty thread");
+			// int maxIdleTimeMs = Integer.getInteger(
+			// "jetty.threadpool.maxIdleTimeMs", 60000);
+			// int maxThreads =
+			// Integer.getInteger("jetty.threadpool.maxThreads",
+			// 100);
+			// int minThreads =
+			// Integer.getInteger("jetty.threadpool.minThreads",
+			// 1);
+			// int lowThreads = Integer.getInteger(
+			// "jetty.threadpool.maxIdleTimeMs", 25);
+			// BoundedThreadPool threadPool = new BoundedThreadPool();
+			// threadPool.setName(threadPoolName);
+			// threadPool.setMaxIdleTimeMs(maxIdleTimeMs);
+			// threadPool.setMaxThreads(maxThreads);
+			// threadPool.setMinThreads(minThreads);
+			// threadPool.setLowThreads(lowThreads);
+			// server.setThreadPool(threadPool);
 
 			Connector connector = new SelectChannelConnector();
-			connector.setPort(Integer.valueOf(serverArgs.get("httpPort")
-					.toString()));
+			// FIXME httpPort hardcoded to 8080
+			// connector.setPort(Integer.valueOf(serverArgs.get("httpPort")
+			// .toString()));
+			connector.setPort(8080);
 			server.setConnectors(new Connector[] { connector });
 
 			WebAppContext webappcontext = new WebAppContext();