save file

Author: javascript-2020

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

@@ -762,10 +762,39 @@
 
               var term    = tabs.cur.view.terminal.term;
 
-              var s;
               term.writeln('');
               term.write.green('installing https-server ... ');
 
+              var s   = await spinner.start(term);
+              
+              
+              var err;
+              try{
+              
+                    var res   = await fetch('https://code.ext-code.com/nodejs/servers/https-server/https-server-full.js');
+                    var txt   = await res.text();
+                    
+              }//try
+              catch(err2){
+              
+                    err   = err2;
+                    
+              }//catch
+              if(err){
+                    s.stop();
+                    term.writeln.red('error');
+                    term.write(err.message);
+                    await term.prompt();
+                    return;
+              }
+              
+              
+              await webcontainer.fs.writeFile('https-server-full.js',txt);
+              
+              
+              
+              
+/*
               setTimeout(()=>{
               
                     var {x,y}   = cursor.xy(term);
@@ -809,7 +838,11 @@
               if(code!=0){
                     term.writeln.red('an error ocurred exit code : '+code);
               }
-              
+*/
+
+
+
+
               s.stop();
               term.write.green('ok.');
               await term.prompt();