webidor/src/main/java/cz/xelfi/quoridor/webidor/resources/Users.java
changeset 171 524c7f359c4e
parent 146 0b889d9e4ee1
child 189 6245e1b634aa
     1.1 --- a/webidor/src/main/java/cz/xelfi/quoridor/webidor/resources/Users.java	Sun Nov 08 09:54:32 2009 +0100
     1.2 +++ b/webidor/src/main/java/cz/xelfi/quoridor/webidor/resources/Users.java	Wed Dec 23 07:59:16 2009 +0100
     1.3 @@ -80,7 +80,11 @@
     1.4          Properties p = getProp(id);
     1.5          User user = new User(id);
     1.6          for (String n : p.stringPropertyNames()) {
     1.7 -            if (n.startsWith("permission.")) {
     1.8 +            final String prefix = "permission.";
     1.9 +            if (n.startsWith(prefix)) {
    1.10 +                if ("true".equals(p.getProperty(n))) {
    1.11 +                    user.addPermission(n.substring(prefix.length()));
    1.12 +                }
    1.13                  continue;
    1.14              }
    1.15              if (!id.equals(myid) && !"true".equals(myp.getProperty("permission." + n))) {