blob: da0bc698e2dd0ad9136b29e100c2e4abac961b3c (
plain)
1
2
3
4
5
6
7
8
9
10
|
---
synopsis: Interrupting builds in the REPL works more than once
cls: 1097
category: Fixes
credits: alois31
---
Builds in the REPL can be interrupted by pressing Ctrl+C.
Previously, this only worked once per REPL session; further attempts would be ignored.
This issue is now fixed, so that builds can be canceled consistently.
|
