diff options
| author | Ade Lee <alee@redhat.com> | 2014-01-03 12:46:36 -0500 |
|---|---|---|
| committer | Ade Lee <alee@redhat.com> | 2014-01-08 17:35:06 -0500 |
| commit | 26f73fc5bb226c1d2f0a3d6f686c21c5d0cb24e3 (patch) | |
| tree | 3370c1112fe792625af918f248b861e136096152 /base/server/python/pki/server/deployment/pkiparser.py | |
| parent | cc831a6be57a868cd36d15335eb0f65e77779c55 (diff) | |
| download | pki-26f73fc5bb226c1d2f0a3d6f686c21c5d0cb24e3.tar.gz pki-26f73fc5bb226c1d2f0a3d6f686c21c5d0cb24e3.tar.xz pki-26f73fc5bb226c1d2f0a3d6f686c21c5d0cb24e3.zip | |
Debian: add init script functionality
The addtions in this patch will add start/stop/restart/status
functionality to operations, so that Debian systems can perform
these operations by calling these functions from an init script.
We also introduce a parameter in the configuration scripts that
can be used to determine if the system is a debian system. This
parameter is used to specify a system V init script instead of
a systemd script on a debian system, when the configuration
scriptlets start and stop a system.
Also source apparently does not work by default in debian. Used
dot (.) instead.
Diffstat (limited to 'base/server/python/pki/server/deployment/pkiparser.py')
| -rw-r--r-- | base/server/python/pki/server/deployment/pkiparser.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/base/server/python/pki/server/deployment/pkiparser.py b/base/server/python/pki/server/deployment/pkiparser.py index dba1f50f1..9bce634f9 100644 --- a/base/server/python/pki/server/deployment/pkiparser.py +++ b/base/server/python/pki/server/deployment/pkiparser.py @@ -163,14 +163,14 @@ class PKIConfigParser: # RESTEasy resteasy_lib = subprocess.check_output( - 'source /etc/pki/pki.conf && echo $RESTEASY_LIB', + '. /etc/pki/pki.conf && echo $RESTEASY_LIB', shell=True) # workaround for pylint error E1103 resteasy_lib = str(resteasy_lib).strip() # JNI jar location jni_jar_dir = subprocess.check_output( - 'source /usr/share/pki/etc/pki.conf && echo $JNI_JAR_DIR', + '. /usr/share/pki/etc/pki.conf && echo $JNI_JAR_DIR', shell=True) # workaround for pylint error E1103 jni_jar_dir = str(jni_jar_dir).strip() |