Check whether roles is non-empty before adding to userAndRoles

This commit is contained in:
Prasad Wagle 2016-02-25 15:22:51 -08:00
parent 733530f0fe
commit 52f4914688

View file

@ -114,9 +114,13 @@ public class NotebookServer extends WebSocketServlet implements
HashSet<String> userAndRoles = new HashSet<String>();
userAndRoles.add(messagereceived.principal);
HashSet<String> roles = gson.fromJson(messagereceived.roles,
new TypeToken<HashSet<String>>(){}.getType());
userAndRoles.addAll(roles);
if (!messagereceived.roles.equals("")) {
HashSet<String> roles = gson.fromJson(messagereceived.roles,
new TypeToken<HashSet<String>>(){}.getType());
if (roles != null) {
userAndRoles.addAll(roles);
}
}
/** Lets be elegant here */
switch (messagereceived.op) {