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

Re: [tlaplus] TLA Toolbox hang on startup

Try clearing the ~/.tlaplus folder, i.e., the .tlaplus/ folder in your home directory.


> On Dec 4, 2023, at 10:39 AM, Chris Ortiz <zitroomega@xxxxxxxxx> wrote:
> Hi,
> Everytime I started TLA Toolbox it just hang. I even downloaded the latest 1.8.0 for Windows and when I launched it it also hanged up. When I close and kill the app it has OpenJDK Platform binary not responding dialog box. The TLA+ Toolbox has:
> Java was started but returned exit code=-805306369
> I cannot launch any versions TLA+ Toolbox anymore, even new ones.
> I appreciate any help.
> Thanks,
> Zitro

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/93B0C7BC-BEC4-407E-92E7-66D7709E2E09%40lemmster.de.