tree b39001673eb06d218d55fd36f28160217248342f
parent c2a0c65c908c5aca4647677d7ac654bd907d8cd4
parent 81191202dfa27cb45f67a20190b87bedf63f74d8
author Edwin Kempin <ekempin@google.com> 1627296253 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1627296253 +0000

Merge changes I3fc1cee9,I01a882fb,Ice6d35a0,Ibd7d788d,Ie1b7d337

* changes:
  SshCommand: Handle RequestCancelledException for SSH commands
  ReceiveCommits: Handle RequestCancelledException for git push
  RestApiServlet: Handle RequestCancelledException for REST calls
  Define an exception that is thrown if a request is cancelled
  Add interface that allows Gerrit to check whether a request is cancelled