[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[jetty-commit] r1275 - jetty/trunk/jetty-distribution/src/main/resources

Author: gwilkins
Date: 2010-02-17 23:04:20 -0500 (Wed, 17 Feb 2010)
New Revision: 1275

Modified:
   jetty/trunk/jetty-distribution/src/main/resources/start.ini
Log:
added ext to default start.ini

Modified: jetty/trunk/jetty-distribution/src/main/resources/start.ini
===================================================================
--- jetty/trunk/jetty-distribution/src/main/resources/start.ini	2010-02-18 03:25:47 UTC (rev 1274)
+++ jetty/trunk/jetty-distribution/src/main/resources/start.ini	2010-02-18 04:04:20 UTC (rev 1275)
@@ -14,7 +14,7 @@
 #
 #===========================================================
 
-OPTIONS=Server,jmx,resources,websocket
+OPTIONS=Server,jmx,resources,websocket,ext
 
 #===========================================================
 # The following is an example of the ini args to run the