From 47051ede14d2590aa112252de0fdfdb09b3bad53 Mon Sep 17 00:00:00 2001
From: jiahao <wangjiahao@openresty.com>
Date: Mon, 17 Jul 2023 16:10:02 +0800
Subject: [PATCH] minor tweaks.

---
 util/dist-check | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/dist-check b/util/dist-check
index e5ffc19..ee41d79 100755
--- a/util/dist-check
+++ b/util/dist-check
@@ -129,7 +129,7 @@ sh "$prefix/nginx/sbin/nginx -V 2>&1 |grep $ver";
 sh "$prefix/nginx/sbin/nginx -V 2>&1 |grep '\\--without-http_gzip_module'";
 sh "$prefix/nginx/sbin/nginx -V 2>&1 |grep -v -q '\\--with-http_ssl_module'";
 sh "$prefix/nginx/sbin/nginx -V 2>&1 |grep '\\--without-pcre'";
-#system "[ -f '$prefix/nginx/logs/nginx.pid' ] && sudo kill \$(cat $prefix/nginx/logs/nginx.pid) > /dev/null 2>&1";
+system "[ -f '$prefix/nginx/logs/nginx.pid' ] && sudo kill \$(cat $prefix/nginx/logs/nginx.pid) > /dev/null 2>&1";
 if (0) {
 sh "sudo $prefix/nginx/sbin/nginx";
 sh "curl -si localhost/lua|grep $lua";