Skip to content

Commit

Permalink
SIGINT is not used for async break (#1366)
Browse files Browse the repository at this point in the history
  • Loading branch information
paulmaybee authored Oct 27, 2022
1 parent 6aea2ee commit 5f6213c
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/MICore/CommandFactories/MICommandFactory.cs
Original file line number Diff line number Diff line change
Expand Up @@ -658,8 +658,7 @@ public virtual bool IsAsyncBreakSignal(Results results)

if (results.TryFindString("reason") == "signal-received")
{
if (results.TryFindString("signal-name") == "SIGINT" ||
results.TryFindString("signal-name") == "SIGTRAP")
if (results.TryFindString("signal-name") == "SIGTRAP")
{
isAsyncBreak = true;
}
Expand Down

0 comments on commit 5f6213c

Please sign in to comment.