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

Re: [tlaplus] TLA Toolbox hang on startup

Thank you very much M. That works and it also cleared up all my spec in Spec Explorer which I don't mind and in fact I wanted to have a clean slate anyway.

On Monday, December 4, 2023 at 11:02:37 AM UTC-8 Markus Kuppe wrote:
Try clearing the ~/.tlaplus folder, i.e., the .tlaplus/ folder in your home directory.


> On Dec 4, 2023, at 10:39 AM, Chris Ortiz <zitro...@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/513bcbf5-7038-43ee-b9d4-89761e7320ffn%40googlegroups.com.