Don Lewis 643a8daaaf If the session leader dies, s_leader is set to NULL and getsid() may
dereference a NULL pointer, causing a panic.  Instead of following
s_leader to find the session id, store it in the session structure.

Jukka found the following info:

	BTW - I just found what I have been looking for. Std 1003.1
	Part 1: SYSTEM API [C LANGUAGE] section 2.2.2.80 states quite
	explicitly...

	Session lifetime: The period between when a session is created
	and the end of lifetime of all the process groups that remain
	as members of the session.

	So, this quite clearly tells that while there is any single
	process in any process group which is a member of the session,
	the session remains as an independent entity.

Reviewed by:	peter
Submitted by:	"Jukka A. Ukkonen" <jau@jau.tmt.tele.fi>
1998-11-09 15:08:04 +00:00
..
1998-10-15 17:09:19 +00:00
1998-07-29 17:38:14 +00:00
1998-02-20 13:37:40 +00:00
1998-07-29 17:38:14 +00:00
1998-10-21 16:31:38 +00:00
1998-08-04 09:21:04 +00:00
1998-08-23 10:16:26 +00:00
1998-09-14 19:56:42 +00:00
1998-09-14 19:56:42 +00:00