diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-06-19 18:34:16 -0400 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-06-19 18:34:16 -0400 |
commit | 62937dd637ef0af45de783a3e619760e064b8ac7 (patch) | |
tree | f4952efe371aa3701baabf2303e9910f16f31995 /src | |
parent | ad83c56cbab054c36ec854bf9cc2e0be530fce72 (diff) | |
parent | 6d39b726c0742d46bb697612c13dd77628e8362c (diff) |
Merge commit 'jrollins/master'
Diffstat (limited to 'src')
-rwxr-xr-x | src/monkeysphere-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monkeysphere-server b/src/monkeysphere-server index a9a9aed..693c062 100755 --- a/src/monkeysphere-server +++ b/src/monkeysphere-server @@ -163,7 +163,7 @@ case $COMMAND in MODE="authorized_keys" # check all specified users exist - if ! getent passwd | cut -d: -f1 | grep -q "^${uname}$" ; then + if ! getent passwd "$uname" >/dev/null ; then error "----- unknown user '$uname' -----" continue fi |