Unverified Commit 9d87fc7d authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Fix pid cleanup in websocket shutdown

parent ece8bdf0

src/network.sh

+1 −1
Original line number Diff line number Diff line
@@ -668,7 +668,7 @@ closeWeb() { 
  # Shutdown websocket

  local pid=""

  [ -s "$WSD_PID" ] && pid="$(<"$WSD_PID")"

  [ -n "$pid" ] && pKill "$pid" && rm -f "$pid"

  [ -n "$pid" ] && pKill "$pid" && rm -f "$WSD_PID"



  return 0

}