Add comment for SocketTimeout

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;
 
 

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;
 
 

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;