save file

Author: javascript-2020

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

@@ -605,7 +605,7 @@
 
               s.stop();
               term.write.green('ok.');
-              await prompt();
+              await term.prompt();
 
         }//https-server
 
@@ -1098,12 +1098,6 @@
         }//spawn
 
 
-        async function prompt(){
-                                                                                console.log('prompt');
-              //await input.write('\u0003'); // Sends Ctrl+C to clear any junk
-              await input.write('\n');     // Sends Enter to get a clean prompt
-              
-        }//prompt
 
 
         function spinner({term,x,y}){