diff options
| -rw-r--r-- | rvnit.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rvnit.c b/rvnit.c index 0acf6ef..70dace8 100644 --- a/rvnit.c +++ b/rvnit.c @@ -743,6 +743,11 @@ cont2: LOG("shutting down"); + if (want_reboot) { + static char rvnit_want_reboot[] = "RVNIT_WANT_REBOOT=1"; + putenv(rvnit_want_reboot); + } + for (level = 99; level >= 0; level--) { fatal: ; // arrives with level < 99 |