save file

Author: javascript-2020

utils/misc/nodejs-terminal/v2.0/nodejs-terminal-v2.0.html

@@ -1125,7 +1125,7 @@
                                     output.buffer.forEach(data=>term.write(data));
                                     output.buffer.length    = 0;
 
-                              }//flush
+                                }//flush
               output.resume   = (flush=true)=>{
 
                                     if(flush){
@@ -1153,7 +1153,7 @@
 
 
               webcontainer.on('port',(port,type,url)=>{
-                                                                                console.log(port,type,url)
+                                                                                console.log(port,type,url);
                     switch(type){
 
                       case 'open'     : ports.add(port,url);        break;