On 3 February 2016, Danek Duvall <[email protected]> wrote:
[...]
> I think the most reliable thing to do here is to have a way to know
> the pid and kill it directly, but since ! goes through a shell, you
> don't have any way of knowing what the pid of test_channel.py is.
Or just make the server write its PID to a file with an unique name.
This is still not ideal, but it's probably good enough for tests.
> I think having a spawn() function (and a kill()) would probably the
> best answer for this, but perhaps for now, maybe do something like
>
> let pid = system("./test_channel.py& echo $!")
> ...
> call system("kill " . pid)
/lcd
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
