Still no joy on Windows. I *may *have a prototype for buttons to start/stop the server from within Leo though:
<?xml version="1.0" encoding="utf-8"?> <!-- Created by Leo: http://leoeditor.com/leo_toc.html --> <leo_file xmlns:leo="http://leoeditor.com/namespaces/leo-python-editor/1.1"; > <leo_header file_format="2"/> <vnodes> <v t="mhw.20200222165550.1"><vh>History Tracer</vh> <v t="mhw.20200228172833.1"><vh>@button start leo-ver-serv</vh></v> <v t="mhw.20200228172603.1"><vh>@button stop leo-ver-serv</vh></v> <v t="mhw.20200222171315.1"><vh>@int history-tracer-port=8088</vh></v> </v> </vnodes> <tnodes> <t tx="mhw.20200222165550.1">@ Some notes added while figuring out how to install and use Vitalije's History Tracer plugin. Ahhh, in reading history_tracer.py I see reference to port # to put in my settings. Trying that... Ok, that's fixed the urllib connection errors, and I see a .history file in same folder as .leo. However there is still nothing showing in the browser window. ok, so maybe there really is an issue on Windows. </t> <t tx="mhw.20200222171315.1"></t> <t tx="mhw.20200228172603.1">bpm = g.app.backgroundProcessManager bpm.kill(kind='leo-ver-serv')</t> <t tx="mhw.20200228172833.1">bpm = g.app.backgroundProcessManager bpm.start_process(c, command='leo-ver-serv %userprofile%/.leo/.leorecentFiles.txt 8088', kind='leo-ver-serv', shell=True)</t> </tnodes> </leo_file> Working from these docs: https://leoeditor.com/scripting-miscellany.html#using-g-app-backgroundprocessmanager. It looks like we should be able to read the port number automatically too using @data? (https://leoeditor.com/scripting-miscellany.html#call-g-execute-shell-commands-with-options) -matt -- 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/dd37451c-9dd9-4737-836b-423ef2e3e2e6%40googlegroups.com.
