search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
42 stars 24 forks source link

Control-C may leave a defunct process #3456

Open mattulbrich opened 3 months ago

mattulbrich commented 3 months ago

Description

When starting KeY from the command line, pressing ctrl-c prior to the main window's appearance leaves KeY in a defunct state that can only be killed from outside. Pressing ctrl-c again does not help.

Reproducible

sometimes.

It seems the time when ctrl-c is pressed plays a role. It seems that KeY must be in a state where the signal is registered, yet the exit action does not have its full effect yet.

Steps to reproduce

Start KeY from the command line (e.g. using the shadow jar) and press ctrl-c before the window shows up.

It should terminate, but instead it only prints WARN WindowUserInterfaceControl - Caught SIGINT, exiting...to the console and gets stuck.

Additional information

The signal handler seems to have been introduced in 2ff6a372056.

mattulbrich commented 3 months ago

Nice issue number btw :smile:

wadoon commented 2 months ago

In #3451, I have already removed this part. This class is part of the module jdk.unsupported. I think the authors want to tell us something with this name. 🤔