如何使用Pid通过Ant命令杀死linux进程

Question

我知道linux进程的pid。 我想使用ANT脚本杀死该进程。

我应该使用什么ANT目标/命令？

在Windows中我这样做                                                         

什么是Linux相当于此？

Answer 1

得到了答案

<target name="-killProcess">
  <property name="server1.process.pid" value="30916" />
  <echo message="server1.process.pid  ${server1.process.pid}"/>
  <property name="killCommandArg" value=" -9 ${server1.process.pid}" />
  <echo message="killCommandArg ${killCommandArg}"/>
  <exec executable="kill" failonerror="true">
     <arg line="${killCommandArg}" />
  </exec>
</target>