There’s a message “Server stopped sharing …"

> On Oct 23, 2020, at 10:36 AM, Jean Louis <bugs@gnu.support> wrote:
> 
> * Qiantan Hong <qhong@mit.edu> [2020-10-23 15:29]:
>>> 
>>> - Other issue is that if I do press ENTER, it quits with the
>>>   beep. That is not enough, it is better if you give message that
>>>   crdt aborted.
>> I’m also aware of this problem — are you using helm?
>> It seems that it’s helm’s completing-read does not behave
>> well and generate ‘quit error on empty input.
>> I’ll work on a workaround.
> 
> I am using helm, and I do not remember if I turned it off.
> 
>>> - [ ] I could not save the buffer shared, I tried killing it too. If I
>>> kill the buffer the connected user should maybe get informed and
>>> connection to that buffer should disconnect.
>> That’s already done, the buffer will be removed from the session
>> (if killed from server side). Maybe some better message rather
>> than just “Disconnected".
> 
> Is user then informed?
> 
> -- 
> Jean Louis