diff options
author | Thomas Bushnell <thomas@gnu.org> | 1997-04-09 18:09:14 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1997-04-09 18:09:14 +0000 |
commit | f9ac79ece48085535de7e544d38ac922c56d95ed (patch) | |
tree | ebddcab953f26d730b20a14633772671929b68b2 /libthreads/rwlock.h | |
parent | c7e93b108c7503f31d12932596f36a933961dfe2 (diff) |
Wed Apr 9 13:57:44 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu>
* default_pager.c (default_pager_default_thread): New function.
Delete old variable with this name, it was never used.
(default_pager): Fork default_pager_default_thread instead of
doing it here to avoid the possibility that we are on a tiny
stack. Current thread dies.
Diffstat (limited to 'libthreads/rwlock.h')
0 files changed, 0 insertions, 0 deletions