monkeysphere-server update-users on a bad name should warrant an error.

diff --git a/src/monkeysphere-server b/src/monkeysphere-server
index 084e0d51a19f03f4f3e9e1e37277427e0a18f421..4c7df19aaa98babf95dcb1f7d44680a4c581ffb3 100755 (executable)
--- 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