From 925574a1657c3bb021d3e95d242bc7d12adfdc06 Mon Sep 17 00:00:00 2001
From: Raphael Jolly <rjolly@users.sourceforge.net>
Date: Tue, 1 Feb 2022 15:22:27 +0100
Subject: [PATCH] empty

---
 bin/linoleum                         | 7 ++++++-
 bin/linoleum.bat                     | 7 ++++++-
 init.js                              | 8 ++++----
 src/main/java/linoleum/Version9.java | 8 ++++++++
 4 files changed, 24 insertions(+), 6 deletions(-)
 create mode 100644 src/main/java/linoleum/Version9.java

diff --git a/bin/linoleum b/bin/linoleum
index e774be5..062759f 100755
--- a/bin/linoleum
+++ b/bin/linoleum
@@ -1,4 +1,9 @@
 #!/bin/sh
 LINOLEUM=`readlink -f $0`
 LINOLEUM_HOME=`dirname $LINOLEUM`/..
-java --add-opens jdk.jconsole/sun.tools.jconsole=ALL-UNNAMED --add-opens java.scripting/com.sun.tools.script.shell=ALL-UNNAMED --add-opens java.desktop/java.awt=ALL-UNNAMED --add-opens java.desktop/javax.swing.text=ALL-UNNAMED --add-opens java.desktop/javax.swing.text.html=ALL-UNNAMED -Djava.system.class.loader=linoleum.application.ClassLoader -Dscala.usejavacp=true -Dcom.sun.management.jmxremote -Dcom.sun.management.jmxremote.local.only=false -jar $LINOLEUM_HOME/linoleum.jar
+OPS=
+java -classpath $LINOLEUM_HOME/linoleum.jar linoleum.Version9
+if [ $? -eq 0 ]; then
+    OPTS="--add-opens jdk.jconsole/sun.tools.jconsole=ALL-UNNAMED --add-opens java.scripting/com.sun.tools.script.shell=ALL-UNNAMED --add-opens java.desktop/java.awt=ALL-UNNAMED --add-opens java.desktop/javax.swing.text=ALL-UNNAMED --add-opens java.desktop/javax.swing.text.html=ALL-UNNAMED"
+fi
+java $OPTS -Djava.system.class.loader=linoleum.application.ClassLoader -Dscala.usejavacp=true -Dcom.sun.management.jmxremote -Dcom.sun.management.jmxremote.local.only=false -jar $LINOLEUM_HOME/linoleum.jar
diff --git a/bin/linoleum.bat b/bin/linoleum.bat
index 22770ea..2288001 100644
--- a/bin/linoleum.bat
+++ b/bin/linoleum.bat
@@ -1,3 +1,8 @@
 @echo off
 set LINOLEUM_HOME=%~dp0..
-java --add-opens jdk.jconsole/sun.tools.jconsole=ALL-UNNAMED --add-opens java.scripting/com.sun.tools.script.shell=ALL-UNNAMED --add-opens java.desktop/java.awt=ALL-UNNAMED --add-opens java.desktop/javax.swing.text=ALL-UNNAMED --add-opens java.desktop/javax.swing.text.html=ALL-UNNAMED -Dfile.encoding=UTF-8 -Djava.system.class.loader=linoleum.application.ClassLoader -Dscala.usejavacp=true -Dcom.sun.management.jmxremote -Dcom.sun.management.jmxremote.local.only=false -jar %LINOLEUM_HOME%\linoleum.jar
+set OPTS=
+java -classpath %LINOLEUM_HOME%\linoleum.jar linoleum.Version9
+if %ERRORLEVEL% EQU 0 (
+    set OPTS=--add-opens jdk.jconsole/sun.tools.jconsole=ALL-UNNAMED --add-opens java.scripting/com.sun.tools.script.shell=ALL-UNNAMED --add-opens java.desktop/java.awt=ALL-UNNAMED --add-opens java.desktop/javax.swing.text=ALL-UNNAMED --add-opens java.desktop/javax.swing.text.html=ALL-UNNAMED
+)
+java %OPTS% -Dfile.encoding=UTF-8 -Djava.system.class.loader=linoleum.application.ClassLoader -Dscala.usejavacp=true -Dcom.sun.management.jmxremote -Dcom.sun.management.jmxremote.local.only=false -jar %LINOLEUM_HOME%\linoleum.jar
diff --git a/init.js b/init.js
index a2fb1aa..59bf01b 100644
--- a/init.js
+++ b/init.js
@@ -282,9 +282,9 @@ function open(name, app) {
 function exit(code) {
     if (typeof(frame) == 'undefined') {
 	if (code) {
-	    java.lang.System.exit(code + 0);		
+	    java.lang.System.exit(code + 0);
 	} else {
-	    java.lang.System.exit(0);		
+	    java.lang.System.exit(0);
 	}
     } else {
 	frame.doDefaultCloseAction();
@@ -328,11 +328,11 @@ function gc() {
 }
 
 function version() {
-    return java.lang.System.getProperty("java.version");	
+    return java.lang.System.getProperty("java.version");
 }
 
 function exec(command) {
-    return java.lang.Runtime.getRuntime().exec(command);	
+    return java.lang.Runtime.getRuntime().exec(command);
 }
 
 // requires commons-io#commons-io;1.3.1
diff --git a/src/main/java/linoleum/Version9.java b/src/main/java/linoleum/Version9.java
new file mode 100644
index 0000000..7d321d4
--- /dev/null
+++ b/src/main/java/linoleum/Version9.java
@@ -0,0 +1,8 @@
+package linoleum;
+
+public class Version9 {
+	public static void main(final String args[]) {
+		final String s = System.getProperty("java.version");
+		System.exit(Integer.parseInt(s.substring(0, s.indexOf("."))) < 9?1:0);
+	}
+}