diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1997-08-20 18:17:39 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1997-08-20 18:17:39 +0000 |
| commit | 347492deecc50d786602ff66fa5ce6f835cfc5b8 (patch) | |
| tree | 55348a2a589762c37cb72a8269575b8c20141e35 /exec/main.c | |
| parent | f4d114176f51b50a6dc0dd4ce97030434da6f0f2 (diff) | |
Wed Aug 20 14:02:11 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu>
* main.c (main): New args for
ports_manage_port_operations_multithread.
Diffstat (limited to 'exec/main.c')
| -rw-r--r-- | exec/main.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/exec/main.c b/exec/main.c index 810f1055..28ef2f3e 100644 --- a/exec/main.c +++ b/exec/main.c @@ -159,8 +159,7 @@ main (int argc, char **argv) /* Launch. */ ports_manage_port_operations_multithread (port_bucket, exec_demuxer, - 2 * 60 * 1000, 0, - 0, MACH_PORT_NULL); + 2 * 60 * 1000, 0, 0); return 0; } |