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/share | |
| 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/share')
| -rw-r--r-- | base/common/share/etc/pki.conf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/base/common/share/etc/pki.conf b/base/common/share/etc/pki.conf new file mode 100644 index 000000000..8b16efd4b --- /dev/null +++ b/base/common/share/etc/pki.conf @@ -0,0 +1,5 @@ +# RESTEasy library +RESTEASY_LIB=${RESTEASY_LIB} + +# JNI jar file location +JNI_JAR_DIR=${JNI_JAR_DIR} |