Canceling too many time raises an error

DeepSec-prover / deepsec_ui

User Interface for DeepSec

GNU General Public License v3.0

3 stars 1 forks source link

Canceling too many time raises an error #80

Open VincentCheval opened 4 years ago

VincentCheval commented 4 years ago

When a run of deepsec is detached (after leaving the application) and we try to cancel it after reopening the UI, we may get an error after clicking several time on Cancel. This behavior is possible since there is no update on the status.

victor-yon commented 4 years ago

I think you can just disable the button after the first click