diff options
author | Endi Sukma Dewata <edewata@redhat.com> | 2013-04-29 14:48:23 -0400 |
---|---|---|
committer | Endi Sukma Dewata <edewata@redhat.com> | 2013-04-29 16:57:59 -0400 |
commit | 7b95b9d69a19cd714cae2fae0c45ffd75f016f5e (patch) | |
tree | a844791c7c99e2908e856b5e2de87a743084aeec /base/common/etc | |
parent | 23cbc44604ec0f5408da023fb858e9799fddb775 (diff) | |
download | pki-7b95b9d69a19cd714cae2fae0c45ffd75f016f5e.tar.gz pki-7b95b9d69a19cd714cae2fae0c45ffd75f016f5e.tar.xz pki-7b95b9d69a19cd714cae2fae0c45ffd75f016f5e.zip |
Added upgrade scriptlet to add JNI_JAR_DIR.
A new upgrade scriptlet has been added to add JNI_JAR_DIR into
pki.conf. The code to manipulate property files has been refactored
from PKIUpgradeTracker into a separate PropertyFile class to allow
reuse.
The pki-base package has been modified to deliver a default pki.conf
in /usr/share/pki/etc and copy it into /etc/pki if it doesn't exist.
Diffstat (limited to 'base/common/etc')
-rw-r--r-- | base/common/etc/pki.conf | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/base/common/etc/pki.conf b/base/common/etc/pki.conf deleted file mode 100644 index c7f4f8470..000000000 --- a/base/common/etc/pki.conf +++ /dev/null @@ -1,6 +0,0 @@ -# RESTEasy library -RESTEASY_LIB=${RESTEASY_LIB} -# JNI jar file location -JNI_JAR_DIR=${JNI_JAR_DIR} - -PKI_VERSION=${APPLICATION_VERSION} |