in src/Engines/ExecuteRequestHandler.cs [161:197]
protected async Task SendAbortMessage(Message message)
{
// The previous call failed, so abort here and let the
// shell server know.
this.shellServer.SendShellMessage(
new Message
{
ZmqIdentities = message.ZmqIdentities,
ParentHeader = message.Header,
Metadata = null,
Content = new ExecuteReplyContent
{
ExecuteStatus = ExecuteStatus.Abort,
ExecutionCount = null
},
Header = new MessageHeader
{
MessageType = "execute_reply"
}
}
);
// Finish by telling the client that we're free again.
this.shellServer.SendIoPubMessage(
new Message
{
Header = new MessageHeader
{
MessageType = "status"
},
Content = new KernelStatusContent
{
ExecutionState = ExecutionState.Idle
}
}.AsReplyTo(message)
);
}