Added exception if the push request returned instantly with an error.

2026-06-03 22:29:01 +02:00 · 2014-11-17 10:41:36 +00:00
parent c9d773b6e8
commit da5b661858
18 changed files with 63 additions and 35 deletions
@@ -33,7 +33,7 @@ public class SnapshotPushPostbackHandler extends AbstractHandler {
            String projectName = request.getRequestURI().split("/")[1];
            SnapshotPushPostbackContents postbackContents = new SnapshotPushPostbackContents(writeLatexDataSource, projectName, contents);
            try {
-                postbackContents.sendPostback();
+                postbackContents.processPostback();
            } catch (UnexpectedPostbackException e) {
                throw new ServletException();
            }