diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-09-02 18:49:53 -0400 |
|---|---|---|
| committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-09-02 18:49:53 -0400 |
| commit | 451f5499c39a406fbd12871bc46d692d528d3e5f (patch) | |
| tree | f7a951395b4c4c36cf620dec4679b1b401441742 /src | |
| parent | dafe14353c11938dd6a7f0fc33cfe150dd8157d9 (diff) | |
monkeysphere-server update-users on a bad name should warrant an error.
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 084e0d5..4c7df19 100755 --- a/src/monkeysphere-server +++ b/src/monkeysphere-server @@ -157,7 +157,7 @@ update_users() { for uname in $unames ; do # check all specified users exist if ! getent passwd "$uname" >/dev/null ; then - log verbose "----- unknown user '$uname' -----" + log error "----- unknown user '$uname' -----" continue fi |