417932 - resources.mod should make ${jetty.base}/resources/ directory

2013-10-30 13:11:27 -07:00 · 2013-10-30 13:11:27 -07:00 · 1705825346
parent ed4d8241ca
commit 1705825346
2 changed files with 14 additions and 1 deletions
--- a/jetty-server/src/main/config/modules/ext.mod
+++ b/jetty-server/src/main/config/modules/ext.mod
@ -1,2 +1,11 @@
+#
+# Module to add all lib/ext/*.jar files to classpath
+#
+
 [lib]
 lib/ext/*.jar
+
+[files]
+lib/
+lib/ext/
+
--- a/jetty-server/src/main/config/modules/resources.mod
+++ b/jetty-server/src/main/config/modules/resources.mod
@ -3,4 +3,8 @@
 #

 [lib]
-resources
+resources
+
+[files]
+resources/
+