From 49656998be7686ab6d157028c4615c95c9f0327d Mon Sep 17 00:00:00 2001 From: Josh Holtrop Date: Fri, 29 Jun 2012 12:28:26 -0400 Subject: [PATCH] launch the pager process in its own process group so that it isn't killed with ctrl+c --- jsvn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/jsvn b/jsvn index 7cc72c6..0e6e780 100755 --- a/jsvn +++ b/jsvn @@ -1387,7 +1387,8 @@ def do_cmd(argv, realsvn, config, expand=True): pager = os.environ['PAGER'] else: pager = 'less -FRX' - pager_proc = Popen(pager, shell=True, stdin=PIPE) + pager_proc = Popen(pager, shell=True, stdin=PIPE, + preexec_fn=os.setsid) out = pager_proc.stdin using_pager = True