LingxinMeng hace 1 año
padre
commit
78da78dac9
Se han modificado 1 ficheros con 3 adiciones y 0 borrados
  1. 3 0
      kill-web_server.sh

+ 3 - 0
kill-web_server.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+pkill -9 -f web_server.exe