make CTRL+C quit the replayer #1738

New issue

Copy link

New issue

Copy link

Closed

Task

#1833

Closed

make CTRL+C quit the replayer#1738

Task

#1833

Copy link

Labels

cat:Replay

Description

rmburg

opened on Mar 13, 2025

Issue body actions

No description provided.

Metadata

Metadata

Assignees

No one assigned

Labels

cat:Replay

Type

Task

Projects

Development

Status

Done

Show more project fields

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions