Exit if parent has exited (#16) · 92236abf31 - nnn - My awesome git server

Parcourir la source

Exit if parent has exited (#16)

master

aaeilm

Arun Prakash Jana il y a 7 ans

Parent

0fd6a392db

révision

92236abf31

1 fichiers modifiés avec 3 ajouts et 0 suppressions

Vue séparée

							
								+ 3
								
								- 0
							
nnn.cVoir le fichier
								
			@@ -1295,6 +1295,9 @@ begin:
		
				for (;;) {
		
					redraw(path);
		
			nochange:
		
					/* Exit if parent has exited */
		
					if (getppid() == 1)
		
						_exit(0);
		
					sel = nextsel(&run, &env);
		
					switch (sel) {
		
					case SEL_CDQUIT: