Browse Source

added excluded char from filename

Gildas 7 years ago
parent
commit
b116cf7ea5
1 changed files with 1 additions and 1 deletions
  1. 1 1
      extension/core/bg/core.js

+ 1 - 1
extension/core/bg/core.js

@@ -141,7 +141,7 @@ singlefile.core = (() => {
 		const downloadInfo = {
 			url: page.url,
 			saveAs: options.confirmFilename,
-			filename: page.filename.replace(/[/\\?%*:|"<>]+/g, "_")
+			filename: page.filename.replace(/[/\\?%*:|"<>\x7F]+/g, "_")
 		};
 		if (options.incognito) {
 			downloadInfo.incognito = true;