Changeset 563ece2aeca700b9245bc2ac709c7fd346fea911 for db/user.hh
- Timestamp:
- 08/22/10 21:29:27 (21 months ago)
- Children:
- 67c3cdbee0ef6f0708dfe5bf5343ae8b75b33610
- Parents:
- 5d836bde01291d90fa3c62d9841ee1084afa3ff7
- git-committer:
- Antti-Juhani Kaijanaho <antti-juhani@…> (08/22/10 21:29:27)
- Files:
-
- 1 modified
-
db/user.hh (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
db/user.hh
r5d836bd r563ece2 51 51 std::set< boost::shared_ptr<role> > roles; 52 52 53 std::set<std::string> read_msgids; 54 53 55 friend class db; 54 56 public: … … 100 102 void delete_role(boost::shared_ptr<role> r); 101 103 104 bool has_read(std::string msgid) const { 105 return read_msgids.find(msgid) != read_msgids.end(); 106 } 107 void mark_read(std::string msgid); 108 void unmark_read(std::string msgid); 109 102 110 static std::string passwd_problems(std::string pw) { 103 111 std::string err;
