HomeSoftware Heritage

retry: don't retry on keyboardinterrupt.

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

retry: don't retry on keyboardinterrupt.

Otherwise, Ctrl-C is ignored if pressed while sending a request.

Details

Provenance
vlorentzAuthored on Oct 1 2020, 8:03 PM
vlorentzPushed on Oct 2 2020, 11:08 AM
Differential Revision
D4123: retry: don't retry on keyboardinterrupt.
Build Status
Buildable 15806
Build 24331: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.