diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1997-04-09 18:10:29 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1997-04-09 18:10:29 +0000 |
| commit | 250b75ac0877e7573c9db66225451b5808c76310 (patch) | |
| tree | 4c934d310226e62bbc751bffe07fc53873980867 | |
| parent | 234a828078cd55af65a55d410aa9b5f35b6506f9 (diff) | |
*** empty log message ***
| -rw-r--r-- | serverboot/default_pager.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index 85590f18..ba305359 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -2666,6 +2666,7 @@ any_t default_pager_default_thread (arg) any_t arg; { + kern_return_t kr; for (;;) { kr = mach_msg_server(default_pager_demux_default, default_pager_msg_size_default, |