diff options
| author | James Moger <james.moger@gitblit.com> | 2013-01-08 15:19:28 -0500 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2013-01-08 15:19:28 -0500 |
| commit | 7dc890057cc7f02df8f27ab988aa7055cbb3af65 (patch) | |
| tree | 929ccb5ed9163c0619d2de7b958057c33b0a1804 /src | |
| parent | 11573e6b872c96bd07560ec67a97ac758548baba (diff) | |
| download | gitblit-7dc890057cc7f02df8f27ab988aa7055cbb3af65.tar.gz gitblit-7dc890057cc7f02df8f27ab988aa7055cbb3af65.zip | |
Wrap pushlog update code with an exception handler, just-in-case
Diffstat (limited to 'src')
| -rw-r--r-- | src/com/gitblit/GitServlet.java | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/com/gitblit/GitServlet.java b/src/com/gitblit/GitServlet.java index b55df04e..ff1ea7e9 100644 --- a/src/com/gitblit/GitServlet.java +++ b/src/com/gitblit/GitServlet.java @@ -318,8 +318,12 @@ public class GitServlet extends org.eclipse.jgit.http.server.GitServlet { }
// 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>();
|