Add comment for SocketTimeout

dist/restore/index.js

@@ -4492,6 +4492,9 @@ var Events;
     Events["PullRequest"] = "pull_request";
 })(Events = exports.Events || (exports.Events = {}));
 exports.CacheFilename = "cache.tgz";
+// 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

@@ -4578,6 +4578,9 @@ var Events;
     Events["PullRequest"] = "pull_request";
 })(Events = exports.Events || (exports.Events = {}));
 exports.CacheFilename = "cache.tgz";
+// 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

@@ -21,4 +21,7 @@ export enum Events {
 
 export const CacheFilename = "cache.tgz";
 
+// 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;