Tony wrote:

> If Vim is reloaded after a crash there will usually be one or more
> ATTENTION (E325) messages. This is usually no problem for me as I save
> my work at regular intervals, which means that I can usually delete
> the swapfiles left standing after the crash (they will have "modified:
> no"). However (especially after a system crash and a reboot) sometimes
> the PID of the previous Vim has been reused, the ATTENTION message
> says "(still running)" and the "delete" option is not available, even
> though the program currently using that PID is not the Vim which
> created the swapfile (and then crashed, or was involved in a system
> crash). I'm not sure if (and how) it is possible to get over this
> problem. Maybe in the (still running) case the ATTENTION message could
> list the name of the program currently using that PID, and still offer
> the "delete" option (possibly with an "are you sure" confirmation) if
> that name isn't one of those (vim, gvim, view, etc.; even vi nowadays)
> usually associated with a Vim executable?

This is a corner case that is difficult to deal with.
There is no standard way to get the name of a process from the pid.

-- 
"Lisp has all the visual appeal of oatmeal with nail clippings thrown in."
                                                         -- Larry Wall

 /// Bram Moolenaar -- b...@moolenaar.net -- 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 vim_dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Raspunde prin e-mail lui