diff options
Diffstat (limited to 'base/server/etc')
| -rw-r--r-- | base/server/etc/pki.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/base/server/etc/pki.conf b/base/server/etc/pki.conf index 24decec52..c7f4f8470 100644 --- a/base/server/etc/pki.conf +++ b/base/server/etc/pki.conf @@ -2,3 +2,5 @@ RESTEASY_LIB=${RESTEASY_LIB} # JNI jar file location JNI_JAR_DIR=${JNI_JAR_DIR} + +PKI_VERSION=${APPLICATION_VERSION} |