File tree Expand file tree Collapse file tree
utils/misc/nodejs-terminal/v3.0 Expand file tree Collapse file tree Original file line number Diff line number Diff line change 766766 term . writeln ( '' ) ;
767767 term . write . green ( 'installing https-server ... ' ) ;
768768
769+
770+ var s = await spinner . start ( ) ;
771+
772+ var err ;
773+ try {
774+
775+ var res = await fetch ( 'https://code.ext-code.com/nodejs/servers/https-server/https-server-full.js' ) ;
776+ var txt = await res . text ( ) ;
777+
778+ } //try
779+ catch ( err2 ) {
780+
781+ err = err2 ;
782+
783+ } //catch
784+ if ( err ) {
785+ s . stop ( ) ;
786+ term . write . red ( 'error' ) ;
787+ term . write ( err . message ) ;
788+ await term . prompt ( ) ;
789+ return ;
790+ }
791+
792+ await webcontainer . fs . writefile ( 'https-server-full.js' , txt ) ;
793+
794+
795+
796+
797+ /*
769798 setTimeout(()=>{
770799
771800 var {x,y} = cursor.xy(term);
809838 if(code!=0){
810839 term.writeln.red('an error ocurred exit code : '+code);
811840 }
812-
841+ */
842+
843+
844+
845+
813846 s . stop ( ) ;
814847 term . write . green ( 'ok.' ) ;
815848 await term . prompt ( ) ;
You can’t perform that action at this time.
0 commit comments