Before this change, docker executed a shell (PID 1) that executed a shell
(indirection to support standalone and server invocations) that executed
java.
This is unnecessary and wasteful, but more importantly means that unix
signals (aka 'docker stop') are sent to a shell script (which doesn't do
anything). 'docker stop' takes 10 seconds (its grace period, then the
container process is KILLed.
Before this change, docker executed a shell (PID 1) that executed a shell (indirection to support standalone and server invocations) that executed java.
This is unnecessary and wasteful, but more importantly means that unix signals (aka 'docker stop') are sent to a shell script (which doesn't do anything). 'docker stop' takes 10 seconds (its grace period, then the container process is KILLed.
Fixes #442