Simone Bordet 7a235e6e69 423397 - Jetty server does not run on Linux server startup because of ... a bug in jetty.sh script. Fixed by using the "*" instead of "+" for numbers so that sed does not complain and it's also non-GNU compliant.		2013-12-10 16:42:39 +01:00
..
src/main	423397 - Jetty server does not run on Linux server startup because of	2013-12-10 16:42:39 +01:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2013-11-15 16:58:44 -07:00