Merge pull request #5394 from Christian Brunotte

* gh-5394:
  Update launch.script so popd does not print directory name to stdout
This commit is contained in:
Andy Wilkinson 2016-04-06 11:47:34 +01:00
commit 30626b52aa

View File

@ -217,7 +217,7 @@ run() {
pushd "$(dirname "$jarfile")" > /dev/null
$command
result=$?
popd
popd > /dev/null
return "$result"
}