stdio server ignores the first two Ctrl+C presses at a terminal (blocked stdin worker thread)

stdio server ignores the first two Ctrl+C presses at a terminal (blocked stdin worker thread) #1525