I might integrate a small http status/admin page, served on a different port, like this to the websocket server - a nice little touch! :) -- Félix
On Tuesday, May 25, 2021 at 9:45:53 AM UTC-4 Edward K. Ream wrote: > On Mon, May 24, 2021 at 1:16 PM Viktor Ransmayr <[email protected]> > wrote: > > > FYI: [leo/external/leoserver.py] is still available & visible in the > 'devel' branch. > > Ah. I see. This is an ancient file, unrelated to leo-editor/leoserver.py. > It's a totally separate project, and probably of no great importance. > > > What is the planned way going forward? - Will this one be deprecated - > or - will they co-exist? > > I think they might as well coexist, unless that causes confusion. > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/488936a1-0c49-4561-a7f2-30aaa0282486n%40googlegroups.com.
