Don't load the terminal when there is no document

This fixes a problem with using this in VSCode extensions
espruino · Dec 1, 2023 · 0b04407 · 0b04407
1 parent f4bca51
commit 0b04407
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/core/terminal.js b/core/terminal.js
@@ -17,6 +17,9 @@
      !process.versions.electron)
     return; // don't load this in std NodeJS
 
+  // Don't load if there is no document to attach the terminal to
+  if(typeof document === "undefined") return;
+
   var onInputData = function(d){}; // the handler for character data from user
 
   /* we don't update the terminal as soon as new data arrives as that might block