!7 cmodule SystemVersion > DynTextArea { Int comp, compJavaX; start-thread { setText(padWithEmptyLines(centerPad("Checking...", 50), 10)); comp = compareTranspilationDateWithServer(creator()); try { compJavaX = compareTranspilationDateWithServer(javax()); } catch e { printException(e); compJavaX = -1; } setText(linesLL( "Computer ID: " + computerID(), "JavaX version: " + javaxVersion(), " On server: " + (compJavaX == null ? "Unknown" : compJavaX == 0 ? "SAME" : compJavaX < 0 ? "NEWER" : "OLDER (?)"), "Stefan's OS version: " + formatTranspilationDate(creator()), " On server: " + (comp == null ? "Unknown" : comp == 0 ? "SAME" : comp < 0 ? "NEWER" : "OLDER (?)"), "System identified as: " + linuxWindowsMac(), "Java version: " + javaVersion(), "Java directory: " + envJavaHome(), "Java VM arguments: " + joinWithSpace(vmArguments()), ); } visual centerAndSouth(super, withMargin(jcenteredbuttons("Upgrade JavaX", disableAllButtonsWhileCalcing(r { setText("Upgrading JavaX..."); runDependent(#1001639); dm_restartOS() }), "Upgrade Stefan's OS", r dm_restartOS, jPopDownButton_noText( "Show Java VM options", rThread { showWrappedText("This Java VM's options", joinWithSpace(vmArgs())) }, "Set default Java VM options...", rThread { inputText("Default Java VM options", javaxDefaultVMArgs(), voidfunc(S s) { setDefaultVMArgs(s); if (confirmYesNo("Restart " + dm_osName() + " to use new options?")) dm_restartOS(); }); } )))); }