1.2.12

java2js_transpile_worker.js

@@ -38,6 +38,10 @@
 			function (require, module, exports) {
 				const java_to_javascript = require('java-to-javascript');
 				self.addEventListener('message', (e) => {
+					if (e.data == 'QuintOS') {
+						window.QuintOS = true;
+						return;
+					}
 					self.postMessage(java_to_javascript(e.data));
 				});
 			},

jdk.js

@@ -227,6 +227,7 @@
 						let trans;
 						if (this.workerPath) {
 							let worker = new Worker(this.workerPath);
+							if (typeof QuintOS != 'undefined') worker.postMessage('QuintOS');
 							worker.postMessage(file);
 							await new Promise((resolve, reject) => {
 								worker.onmessage = (e) => {

package.json

@@ -1,6 +1,6 @@
 {
 	"name": "java2js",
-	"version": "1.2.11",
+	"version": "1.2.12",
 	"description": "Converts Java to JavaScript and runs it with a JS JDK",
 	"main": "jdk.js",
 	"scripts": {