diff options
author | Marcus Brinkmann <marcus@gnu.org> | 2001-08-02 03:30:12 +0000 |
---|---|---|
committer | Marcus Brinkmann <marcus@gnu.org> | 2001-08-02 03:30:12 +0000 |
commit | 7623ec54a0fe4d5a5cc065de9478825854406a06 (patch) | |
tree | f6f0fda27fda1117ad060b5c1890fd23b9174796 /proc | |
parent | 347e5e932ccd4b01fe3e6531a3b897624ce37c21 (diff) |
2001-08-02 Marcus Brinkmann <marcus@gnu.org>
* mgt.c (genpid): Before checking if NEXTPID is free, check if it
is greater than WRAP, and if yes, start over.
Diffstat (limited to 'proc')
-rw-r--r-- | proc/ChangeLog | 5 | ||||
-rw-r--r-- | proc/mgt.c | 6 |
2 files changed, 11 insertions, 0 deletions
diff --git a/proc/ChangeLog b/proc/ChangeLog index 08f100a2..22e4b642 100644 --- a/proc/ChangeLog +++ b/proc/ChangeLog @@ -1,3 +1,8 @@ +2001-08-02 Marcus Brinkmann <marcus@gnu.org> + + * mgt.c (genpid): Before checking if NEXTPID is free, check if it + is greater than WRAP, and if yes, start over. + 2001-07-13 Marcus Brinkmann <marcus@gnu.org> * host.c (S_proc_getexecdata): New variable PORTS_ALLOCATED. @@ -848,6 +848,12 @@ genpid () int wrapped = 0; + if (nextpid > wrap) + { + nextpid = START_OVER; + wrapped = 1; + } + while (!pidfree (nextpid)) { ++nextpid; |