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

Re: [tlaplus] Trouble Running Toolbox on macOS Sierra

On 28.09.2017 18:15, Daniel Gregoire wrote:
> 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?

Hi Daniel,

I'm a little at loss here. Can you check if the bug persists with the
latest nightly build of the Toolbox [1]? The nightly builds use a newer
Eclipse release internally.



[1] http://tla.msr-inria.inria.fr/tlatoolbox/ci/products/