branch-3.0: [docs](fdb_ctl) remove fdbmonitor.pid file when stopping …

…fdb #44053 (#44055) Cherry-picked from #44053 Co-authored-by: Shane <[email protected]>
apache · Nov 17, 2024 · 0de6586 · 0de6586
1 parent 43facc4
commit 0de6586
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/tools/fdb/fdb_ctl.sh b/tools/fdb/fdb_ctl.sh
@@ -353,12 +353,14 @@ function start_fdb() {
 }
 
 function stop_fdb() {
-    if [[ -f "${FDB_HOME}/fdbmonitor.pid" ]]; then
+    fdb_pid_file="${FDB_HOME}/fdbmonitor.pid"
+    if [[ -f "${fdb_pid_file}" ]]; then
         local fdb_pid
-        fdb_pid=$(cat "${FDB_HOME}/fdbmonitor.pid")
+        fdb_pid=$(cat "${fdb_pid_file}")
         if ps -p "${fdb_pid}" >/dev/null; then
             echo "Stop fdbmonitor with pid ${fdb_pid}"
             kill -9 "${fdb_pid}"
+            rm -f "${fdb_pid_file}"
         fi
     fi
 }