[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Trouble Running Toolbox on macOS Sierra

Hi everyone,

I've looked through the list and I believe my scenario is distinct from the other macOS-related problems folks have brought up.

I'm trying to use the latest TLA+ Toolbox and macOS version 10.12.6. Whether I double-click the "TLA+ Toolbox.app" or run the toolbox executable directly (at "/Applications/TLA+ Toolbox.app/Contents/MacOS/toolbox"), I see the same behavior: the TLA+ splash screen appears and the top menu populates with "File", "Window", and "Help". After the splash disappears, only the chrome of a tiny window with the minimize/maximize/close buttons appears (just big enough to house those three buttons), then the process just sits there. The actual Toolbox window never appears.

When running from the command-line, I see logging that shows the underlying Jetty server starts up, etc., but then nothing happens, no obvious errors or stack traces, it just stays put, occasionally logging about scavenging a session.

I've tried Java versions 7, 8, and 9, all of which behave as described above on my machine.

Here is the Java 8 version I'm using:

Java version:
java version "1.8.0_131"
Java(TM) SE Runtime Environment (build 1.8.0_131-b11)
Java HotSpot(TM) 64-Bit Server VM (build 25.131-b11, mixed mode)

And TLA+ Toolbox logs over stdout and stderr using that version of Java to run it: https://gist.github.com/semperos/a0709c010645fc2a5a6ba250f97e184a

Any thoughts?