Disable system exit so that GUI will work again

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Other

694 stars 123 forks source link

Disable system exit so that GUI will work again #270

Closed awwaiid closed 2 months ago

awwaiid commented 2 months ago

When this is active the GUI no longer starts. I think it is because the GUI runs in another thread. I'm not sure where the exit code should be moved to, so I left it in there commented out for now.

awwaiid commented 2 months ago

@pkriens flagging to you in case you want to merge it so that master gui works. If you give me a hint I'd be happy to move this exit to where it should be.

pkriens commented 2 months ago

I'll make it conditional. So we can do an exit.

thanks for finding out.