diff --git a/dist/restore/index.js b/dist/restore/index.js index 77148ca..e175183 100644 --- a/dist/restore/index.js +++ b/dist/restore/index.js @@ -2750,6 +2750,9 @@ var Events; Events["Push"] = "push"; Events["PullRequest"] = "pull_request"; })(Events = exports.Events || (exports.Events = {})); +// Socket timeout in milliseconds during download. If no traffic is received +// over the socket during this period, the socket is destroyed and the download +// is aborted. exports.SocketTimeout = 5000; diff --git a/dist/save/index.js b/dist/save/index.js index bdc5c09..602b1cf 100644 --- a/dist/save/index.js +++ b/dist/save/index.js @@ -2830,6 +2830,9 @@ var Events; Events["Push"] = "push"; Events["PullRequest"] = "pull_request"; })(Events = exports.Events || (exports.Events = {})); +// Socket timeout in milliseconds during download. If no traffic is received +// over the socket during this period, the socket is destroyed and the download +// is aborted. exports.SocketTimeout = 5000; diff --git a/src/constants.ts b/src/constants.ts index a39e5e0..2e60e34 100644 --- a/src/constants.ts +++ b/src/constants.ts @@ -19,4 +19,7 @@ export enum Events { PullRequest = "pull_request" } +// Socket timeout in milliseconds during download. If no traffic is received +// over the socket during this period, the socket is destroyed and the download +// is aborted. export const SocketTimeout = 5000;