fix: add -r for kill

terryyz · terryyz · commit b611e4984736 · 2024-06-30T01:27:49.000+08:00
diff --git a/Docker/Evaluate.Dockerfile b/Docker/Evaluate.Dockerfile
@@ -33,4 +33,4 @@ USER bigcodebenchuser
 
 ENTRYPOINT ["python3", "-m", "bigcodebench.evaluate"]
 
-CMD ["sh", "-c", "pids=$(ps -u $(id -u) -o pid,comm | grep '^ *[0-9]\\+ bigcodebench' | awk '{print $1}'); if [ -n \"$pids\" ]; then echo $pids | xargs kill; fi; rm -rf /tmp/*"]
+CMD ["sh", "-c", "pids=$(ps -u $(id -u) -o pid,comm | grep '^ *[0-9]\\+ bigcodebench' | awk '{print $1}'); if [ -n \"$pids\" ]; then echo $pids | xargs -r kill; fi; rm -rf /tmp/*"]

Original file line number	Diff line number	Diff line change
`@@ -33,4 +33,4 @@ USER bigcodebenchuser`
`33`	`33`
`34`	`34`	`ENTRYPOINT ["python3", "-m", "bigcodebench.evaluate"]`
`35`	`35`
`36`		`-CMD ["sh", "-c", "pids=$(ps -u $(id -u) -o pid,comm \| grep '^ [0-9]\\+ bigcodebench' \| awk '{print $1}'); if [ -n \"$pids\" ]; then echo $pids \| xargs kill; fi; rm -rf /tmp/"]`
	`36`	`+CMD ["sh", "-c", "pids=$(ps -u $(id -u) -o pid,comm \| grep '^ [0-9]\\+ bigcodebench' \| awk '{print $1}'); if [ -n \"$pids\" ]; then echo $pids \| xargs -r kill; fi; rm -rf /tmp/"]`