diff options
Diffstat (limited to 'bin/web_puma')
| -rwxr-xr-x | bin/web_puma | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/web_puma b/bin/web_puma index 6a9b729f6dd..c1ab4718f0d 100755 --- a/bin/web_puma +++ b/bin/web_puma @@ -36,7 +36,7 @@ start_foreground() stop() { get_puma_pid - kill -QUIT "$(get_puma_pid)" + kill -INT "$(get_puma_pid)" } reload() |