I would consider having the Gradle script do the padding if we don't need the padded value in these bash scripts.
[ Full content available at: https://github.com/apache/geode/pull/3058 ] This message was relayed via gitbox.apache.org for [email protected]
