BrowserView.js

[app.wkmirror] / File.js

diff --git a/File.js b/File.js
index 9f0a576..30d9639 100755 (executable)
--- a/File.js
+++ b/File.js
@@ -217,6 +217,10 @@ var File = {
         var data_out = new Gio.DataOutputStream({base_stream:f.replace(null, false, Gio.FileCreateFlags.NONE, null)});
         for(var i =0; i < stringAr.length; i++) {
             data_out.put_byte(stringAr[i], null);
+            if (i % 10000 == 0) {
+                print("wrote " + i + "/" + stringAr.length + "\n");
+            }
+            
         }
         data_out.close(null);
     },