Merge multiple owners feature (pull request #63, #66)

SHaselbauer

2013-01-21 fb9813874c811ae06604c30d875e9dce57df9874

 src/com/gitblit/GitServlet.java

@@ -318,8 +318,12 @@
         }



         // update push log

         PushLogUtils.updatePushLog(user, rp.getRepository(), commands);

         logger.info(MessageFormat.format("{0} push log updated", repository.name));

         try {

            PushLogUtils.updatePushLog(user, rp.getRepository(), commands);

            logger.info(MessageFormat.format("{0} push log updated", repository.name));

         } catch (Exception e) {

            logger.error(MessageFormat.format("Failed to update {0} pushlog", repository.name), e);

         }

         

         // run Groovy hook scripts 

         Set<String> scripts = new LinkedHashSet<String>();