populate_user_list(): clarify warning on unknown permission flags

diff --git a/user_list.c b/user_list.c
index 75dca081c7685a112e29fbc79f98d5ae0a475c34..c3b10b1e1d8ca8a915b92a7b4f3080500233210a 100644 (file)
--- a/user_list.c
+++ b/user_list.c
@@ -79,7 +79,7 @@ static void populate_user_list(char *user_list_file)
                        else if (!strcmp(tmp[num], "DB_WRITE"))
                                u->perms |= DB_WRITE;
                        else /* unknown permission */
-                               PARA_WARNING_LOG("unknown permission: %s\n",
+                               PARA_WARNING_LOG("ignoring unknown permission: %s\n",
                                        tmp[num]);
                }
                para_list_add(&u->node, &user_list);