Closed seisatsu closed 6 years ago
There should be one or more commands that close the session from the server-side. Most likely the pseudo-command "quit" like in cli-frontend.py.
cli-frontend.py
There should be one or more commands that close the session from the server-side. Most likely the pseudo-command "quit" like in
cli-frontend.py
.