save file

Author: javascript-2020

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

@@ -56,6 +56,10 @@
         var input;
         var output;
 
+        
+        var terminal;
+        
+        
         var user_dir;
         var cwd_abs;
         var cwd;