diff options
Diffstat (limited to 'pool.sh')
| -rwxr-xr-x | pool.sh | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -58,7 +58,7 @@ create() { } remove() { - refresh + refresh # Refresh process status and load status [ $nproc -gt 0 ] && abort "Processes are still running in the pool!" rm -rf "$pool" } @@ -80,11 +80,13 @@ refresh() { run() { refresh + # Wait for room in the pool while [ $nproc -ge $maxproc ] do sleep $REFRESH_EVERY refresh done + # Create new process nproc=$(( nproc + 1 )) procid=$(( lastprocid + 1 )) lastprocid=$procid @@ -92,9 +94,9 @@ run() { $PROC_CMD > "$pool/out_$procid" & procpid=$! [ -z "$procs" ] && procs="$procpid" || procs="$procs $procpid" - write_status - write_process - echo $procid + write_status # Update status + write_process # Create process properties + echo $procid # Return process id } cat_output() { |
