Comment #16 on issue 203 by [email protected]: Nothing in register *
problem (vim+tmux or vim+screen )
https://code.google.com/p/vim/issues/detail?id=203
If I kill my local X server... vim will(is) not be terminated.
If I used xterm to ssh -Y remote server, run vim, then kill my local
X-server, xterm(and vim) will be terminated.
If I used a "terminal" to ssh -Y remote server, run gvim, then kill my
local X-server, gvim will be terminated.
But since I am using a "terminal" to ssh -Y remote server, run vim... I do
not think vim should terminate if my local X-server is terminated.
Here is bt command of gdb when vim(patched) is frozen.
(gdb) bt
#0 0x0000003411ccc30f in poll () from /lib64/libc.so.6
#1 0x000000341642c80a in _XtWaitForSomething () from /usr/lib64/libXt.so.6
#2 0x000000341642d1ff in XtAppPending () from /usr/lib64/libXt.so.6
#3 0x00000000004e6994 in xterm_update () at os_unix.c:7086
#4 0x00000000004e7ca9 in setup_term_clip () at os_unix.c:6909
#5 0x00000000004e7d7a in resetup_term_clip () at os_unix.c:6808
#6 0x00000000004e8115 in RealWaitForChar (fd=0, msec=0,
check_for_gpm=<value optimized out>)
at os_unix.c:5434
#7 0x00000000004e8291 in mch_breakcheck () at os_unix.c:5082
#8 0x00000000004898b5 in vgetorpeek (advance=1) at getchar.c:2074
#9 0x000000000048a7aa in vgetc () at getchar.c:1638
#10 0x0000000000584925 in main_loop (cmdwin=0, noexmode=0) at main.c:1141
#11 0x0000000000587773 in main (argc=<value optimized out>, argv=<value
optimized out>)
at main.c:1042
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
--
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.
