From 0e165c594ad510c624f5970e4e966f86aa1c24db Mon Sep 17 00:00:00 2001
From: Josh Gao <jmgao@google.com>
Date: Wed, 21 Mar 2018 18:03:34 -0700
Subject: [PATCH] mkshrc: set +o nohup.

Turn off nohup in mkshrc so that backgrounded jobs receive SIGHUP when
the parent shell exits.

Bug: http://b/76116378
Test: manual
Change-Id: I347d25013df107e6bd2e985a0a14e022c9fdf2ab
---
 mkshrc        | 2 ++
 mkshrc_vendor | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/mkshrc b/mkshrc
index 778cf09..d37de12 100644
--- a/mkshrc
+++ b/mkshrc
@@ -6,6 +6,8 @@
 #
 # Support: https://launchpad.net/mksh
 
+set +o nohup
+
 if (( USER_ID )); then PS1='$'; else PS1='#'; fi
 PS4='[$EPOCHREALTIME] '; PS1='${|
 	local e=$?
diff --git a/mkshrc_vendor b/mkshrc_vendor
index 778cf09..d37de12 100644
--- a/mkshrc_vendor
+++ b/mkshrc_vendor
@@ -6,6 +6,8 @@
 #
 # Support: https://launchpad.net/mksh
 
+set +o nohup
+
 if (( USER_ID )); then PS1='$'; else PS1='#'; fi
 PS4='[$EPOCHREALTIME] '; PS1='${|
 	local e=$?