Details
-
Task
-
Status: Resolved
-
Minor
-
Resolution: Fixed
-
None
Description
TERMINAL_INIT, which is one of the websocket message types in terminal interpreter, looks unused and redundant with TERMINAL_READY. This ticket removes TERMINAL_INIT to simplify the code.
Attachments
Issue Links
- links to