Re: TODO crdt-stop-session, selecting deleted buffer, fails to remove session from the list

[Jean Louis]

* 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