Ken Takata wrote:
> 2016/2/6 Sat 6:37:07 UTC+9 Bram Moolenaar wrote:
> > Patch 7.4.1263
> > Problem: ch_open() hangs when the server isn't running.
> > Solution: Add a timeout. Use a dict to pass arguments. (Yasuhiro
> > Matsumoto)
> > Files: runtime/doc/eval.txt, runtime/doc/channel.txt, src/channel.c,
> > src/eval.c, src/netbeans.c, src/os_win32.c,
> > src/proto/channel.pro,
> > src/testdir/test_channel.vim
>
> I found some typos in the document:
>
> --- a/runtime/doc/channel.txt
> +++ b/runtime/doc/channel.txt
> @@ -93,7 +93,7 @@ The default is zero, don't wait, which i
> be running already. A negative number waits forever.
>
> "timeout" is the time to wait for a request when blocking, using
> -ch_sendexpr(). Again in millisecons. The default si 2000 (2 seconds).
> +ch_sendexpr(). Again in millisecons. The default is 2000 (2 seconds).
>
> When "mode" is "json" the "msg" argument is the body of the received message,
> converted to Vim types.
> @@ -104,7 +104,7 @@ possible to receive a message after send
>
> The handler can be added or changed later: >
> call ch_setcallback(handle, {callback})
> -When "callback is empty (zero or an empty string) the handler is removed.
> +When "callback" is empty (zero or an empty string) the handler is removed.
> NOT IMPLEMENTED YET
>
> The timeout can be changed later: >
Thanks. Now I see millisecons is also wrong.
--
hundred-and-one symptoms of being an internet addict:
150. You find yourself counting emoticons to get to sleep.
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
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.
