Jetty init incorrectly parses jetty.conf

[MichaelIhde]

When you start Jetty with the init script, you see this message:

$ sudo /etc/init.d/jetty start
grep: character class syntax is [[:space:]], not [:space:]
 * Starting Jetty servlet engine. jetty * Jetty servlet engine started, reachable on http://picasso:8080/. jetty

You won't really notice any problems unless you are trying to use jetty.conf to add additional capabilities.

Simply changing [:space:] to [[:space:]] fixes the issue.

ProblemType: Bug
DistroRelease: Ubuntu 11.10
Package: jetty 6.1.24-6
ProcVersionSignature: Ubuntu 3.0.0-12.20-generic 3.0.4
Uname: Linux 3.0.0-12-generic x86_64
NonfreeKernelModules: nvidia
ApportVersion: 1.23-0ubuntu3
Architecture: amd64
Date: Sun Oct 30 11:12:32 2011
InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release amd64 (20111012)
PackageArchitecture: all
SourcePackage: jetty
UpgradeStatus: No upgrade log present (probably fresh install)
modified.conffile..etc.jetty.jetty.conf:
 # list of jetty configuration and property files
 /etc/jetty/jetty-logging.xml
 /etc/jetty/jetty.xml
 /etc/jetty/jetty-ssl.xml
 /etc/jetty/jetty-shared-webapps.xml
mtime.conffile..etc.default.jetty: 2011-10-30T10:31:44.875870
mtime.conffile..etc.jetty.jetty.conf: 2011-10-30T11:03:04.203915

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.