Aborting a verification attempt in the GUI should also kill the backend threads

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols

https://cispa.saarland/group/cremers/scyther/index.html

96 stars 38 forks source link

Aborting a verification attempt in the GUI should also kill the backend threads #11

Open cascremers opened 11 years ago

cascremers commented 11 years ago

Currently, if a verification attempt is aborted, the backend thread continues to run. This was initially caused by cross-platform support problems and not wanting to rely on POSIX. However, the subprocess module should allow for cross-platform killing of Popen objects.