diff options
| author | Dan Callahan <danc@element.io> | 2021-10-27 21:36:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-27 21:36:18 +0100 |
| commit | a1ba7a850aaad51799ce77006ac5e8a425881765 (patch) | |
| tree | aa501e65702a3e3fb179c3a0c37dc15543637f72 /demo/stop.sh | |
| parent | Annotate `log_function` decorator (#10943) (diff) | |
| parent | Merge remote-tracking branch 'origin/develop' into shellcheck (diff) | |
| download | synapse-a1ba7a850aaad51799ce77006ac5e8a425881765.tar.xz | |
Update scripts to pass Shellcheck lints (#11166)
Diffstat (limited to 'demo/stop.sh')
| -rwxr-xr-x | demo/stop.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/stop.sh b/demo/stop.sh index f9dddc5914..c97e4b8d00 100755 --- a/demo/stop.sh +++ b/demo/stop.sh @@ -8,7 +8,7 @@ for pid_file in $FILES; do pid=$(cat "$pid_file") if [[ $pid ]]; then echo "Killing $pid_file with $pid" - kill $pid + kill "$pid" fi done |