Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(console): dev command now handles terminal signals (#6889)
This changeset improves the `dev` script of the console so it closes the console server before shutting everything down. Related to #5798.
- Loading branch information