Skip to content
Commit bd6f0ae1 authored by Seblu's avatar Seblu
Browse files

Fix history saving from server disconnect 

When server disconnect cli is hardly killed and history is not saved.
Now we just warn about disconnection
parent 5b5b0e6b
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment