diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-09 20:20:03 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-09 20:20:03 +0000 |
| commit | 82533a1bdee3be7e2bf5666d0ce2a29ccc9f4f56 (patch) | |
| tree | 33b7c37008d1eaf74e316e37cedd423d0621356b /serverboot | |
| parent | 745d89448eb5c78fe17bb4cb1305f5713c107b3b (diff) | |
(main):
Don't exit if no paging partition.
Diffstat (limited to 'serverboot')
| -rw-r--r-- | serverboot/bootstrap.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/serverboot/bootstrap.c b/serverboot/bootstrap.c index fd69f5d9..680b6b04 100644 --- a/serverboot/bootstrap.c +++ b/serverboot/bootstrap.c @@ -389,8 +389,10 @@ main(argc, argv) } #endif +#if 0 /* Always stick around to handle swapon requests */ if (! doing_default_pager) task_terminate (mach_task_self ()); +#endif /* * Become the default pager |