From b9be35cb0eab5fe68d772e7f1e6dc82088441a68 Mon Sep 17 00:00:00 2001
From: Quinton Ashley <qashto@gmail.com>
Date: Fri, 29 Apr 2022 12:37:37 -0500
Subject: [PATCH] 1.2.12

---
 java2js_transpile_worker.js | 4 ++++
 jdk.js                      | 1 +
 package.json                | 2 +-
 3 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/java2js_transpile_worker.js b/java2js_transpile_worker.js
index ea33596..d9a7489 100644
--- a/java2js_transpile_worker.js
+++ b/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));
 				});
 			},
diff --git a/jdk.js b/jdk.js
index 3511502..e1fccfb 100755
--- a/jdk.js
+++ b/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) => {
diff --git a/package.json b/package.json
index cb0edb1..d2c7c6a 100644
--- a/package.json
+++ b/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": {