diff options
author | Eli Zaretskii <[email protected]> | 2013-02-15 15:14:26 +0200 |
---|---|---|
committer | Eli Zaretskii <[email protected]> | 2013-02-15 15:14:26 +0200 |
commit | a7727d05be4047b4ab6c8218ad2de5e2ad8624da (patch) | |
tree | ec9396d14cd4e9c5ae155da8665849ad13f4f64f /src/w32proc.c | |
parent | 1d461514ab04b7db6132cb9666d1edfe549222c3 (diff) |
Fix commit 2013-02-15T09:41:[email protected] for bug #13546.
Diffstat (limited to 'src/w32proc.c')
-rw-r--r-- | src/w32proc.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/w32proc.c b/src/w32proc.c index e9860a6646..ca2096aaa9 100644 --- a/src/w32proc.c +++ b/src/w32proc.c @@ -800,7 +800,7 @@ new_child (void) if (child_proc_count == MAX_CHILDREN) { int i = 0; - child_process *dead_cp; + child_process *dead_cp = NULL; DebPrint (("new_child: No vacant slots, looking for dead processes\n")); for (cp = child_procs + (child_proc_count-1); cp >= child_procs; cp--) @@ -829,13 +829,15 @@ new_child (void) if (i == 0) dead_cp = cp; else - { - cp = dead_cp; - goto Initialize; - } + break; i++; } } + if (dead_cp) + { + cp = dead_cp; + goto Initialize; + } } if (child_proc_count == MAX_CHILDREN) return NULL; |