Installing extensions UI improvements (#1522)

Signed-off-by: Roman <ixrock@gmail.com>
This commit is contained in:
Roman authored and GitHub committed 2020-11-25 16:42:19 +02:00
1 parent 73724b5a54
commit 7243dfdce4
13 files changed
+186 -217

No files matched your search

+3 -2
View File
@@ -3,6 +3,7 @@ import request from "request";
export interface DownloadFileOptions {
url: string;
gzip?: boolean;
timeout?: number;
}
export interface DownloadFileTicket {
@@ -11,9 +12,9 @@ export interface DownloadFileTicket {
cancel(): void;
}
export function downloadFile({ url, gzip = true }: DownloadFileOptions): DownloadFileTicket {
export function downloadFile({ url, timeout, gzip = true }: DownloadFileOptions): DownloadFileTicket {
const fileChunks: Buffer[] = [];
const req = request(url, { gzip });
const req = request(url, { gzip, timeout });
const promise: Promise<Buffer> = new Promise((resolve, reject) => {
req.on("data", (chunk: Buffer) => {
fileChunks.push(chunk);