Abandoning while proving raises exception

[wadoon]

This issue was created at git.key-project.org where the discussions are preserved.

---

Description

When pressing ctrl-w while in automatic proof mode (that is sometimes possible), concurrency-related exception
may be raised

Reproducible

random

Steps to reproduce

Run automatic proof and abondon it while running.

I managed to get into this by accidentally pressing STOP twice (thus restarting) and then abandoning.
The system had some lack at the time, it may be that the order of events was hence 'unusual'.

---

• Commit: 9a28833079d3cbcadeedb948cd0d4507c12ba6f7

• Component: /label ~GUI

---

Information:

• created_at: 2019-11-08T10:50:43.572Z
• updated_at: 2019-11-08T10:50:43.572Z
• closed_at: None (closed_by: )
• milestone:
• user_notes_count: 0