diff options
author | Jameson Graef Rollins <jrollins@finestructure.net> | 2009-03-03 11:56:00 -0500 |
---|---|---|
committer | Jameson Graef Rollins <jrollins@finestructure.net> | 2009-03-03 11:56:00 -0500 |
commit | 91fee4b8616ce94be3b18f58b8d361d784ce92a6 (patch) | |
tree | 3c6a2ff49085e51d56f1d6b24f1997bc3523968b /src/monkeysphere | |
parent | b94c148b51a53f47ac2513af0e400cc9234bc3dd (diff) |
fix to logging to prefix all log output with log prefix, and allow changing of log prefix.
Diffstat (limited to 'src/monkeysphere')
-rwxr-xr-x | src/monkeysphere | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monkeysphere b/src/monkeysphere index 8d59d08..f721108 100755 --- a/src/monkeysphere +++ b/src/monkeysphere @@ -182,6 +182,7 @@ AUTHORIZED_KEYS=${MONKEYSPHERE_AUTHORIZED_KEYS:=$AUTHORIZED_KEYS} AUTHORIZED_USER_IDS=${MONKEYSPHERE_AUTHORIZED_USER_IDS:="${MONKEYSPHERE_HOME}/authorized_user_ids"} REQUIRED_HOST_KEY_CAPABILITY=${MONKEYSPHERE_REQUIRED_HOST_KEY_CAPABILITY:="a"} REQUIRED_USER_KEY_CAPABILITY=${MONKEYSPHERE_REQUIRED_USER_KEY_CAPABILITY:="a"} +LOG_PREFIX=${MONKEYSPHERE_LOG_PREFIX:='ms: '} # export GNUPGHOME and make sure gpg home exists with proper # permissions |