diff options
| author | Lars Ingebrigtsen <larsi@gnus.org> | 2022-04-17 15:00:00 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen <larsi@gnus.org> | 2022-04-17 15:00:00 +0200 |
| commit | b38c3fe8632ec0ee4f180dae2938959bd8b4c46e (patch) | |
| tree | 87bb04f3f7fcbd844556c9cebe0a4ba2eb39013b /src/emacs.c | |
| parent | 38c2a4588295a910b38736f0bfcc1cc5e5624520 (diff) | |
| download | emacs-b38c3fe8632ec0ee4f180dae2938959bd8b4c46e.tar.gz | |
Check whether we can restart in Fkill_emacs
* src/emacs.c (Fkill_emacs): Report an error if we can't restart.
Diffstat (limited to 'src/emacs.c')
| -rw-r--r-- | src/emacs.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/emacs.c b/src/emacs.c index 50b1628d207..173e8e8923d 100644 --- a/src/emacs.c +++ b/src/emacs.c @@ -2807,7 +2807,8 @@ killed. */ if (!NILP (restart)) { - execvp (*initial_argv, initial_argv); + if (execvp (*initial_argv, initial_argv) < 1) + error ("Unable to re-execute Emacs"); } if (FIXNUMP (arg)) |