Handle case of missing repository in Manager (issue 155)

James Moger

2012-10-31 93f98981892cd74e9074fac9a63cd009b3173340

Handle case of missing repository in Manager (issue-155)

 src/com/gitblit/client/UsersPanel.java

@@ -25,6 +25,7 @@
import java.awt.event.MouseAdapter;

import java.awt.event.MouseEvent;

import java.io.IOException;

import java.text.MessageFormat;

import java.util.ArrayList;

import java.util.List;



@@ -43,6 +44,7 @@
import com.gitblit.Constants.PermissionType;

import com.gitblit.Constants.RpcRequest;

import com.gitblit.models.RegistrantAccessPermission;

import com.gitblit.models.RepositoryModel;

import com.gitblit.models.TeamModel;

import com.gitblit.models.UserModel;

import com.gitblit.utils.StringUtils;

@@ -318,7 +320,13 @@
                // Ensure this is NOT an owner permission - which is non-editable

                // We don't know this from within the usermodel, ownership is a

                // property of a repository.

                boolean isOwner = gitblit.getRepository(permission.registrant).isOwner(user.username);

                RepositoryModel rm = gitblit.getRepository(permission.registrant);

                if (rm == null) {

                    System.out.println(MessageFormat.format("{0}: failed to find registrant repository {1}",

                            getClass().getSimpleName(), permission.registrant));

                    continue;

                }

                boolean isOwner = rm.isOwner(user.username);

                if (isOwner) {

                    permission.permissionType = PermissionType.OWNER;

                    permission.isEditable = false;