我有一个ant任务,在其中我想得到当前进程id(echo $PPID来自命令行的la ).
我ksh在Solaris上运行,所以我想我可以这样做:
但那没用; 变量没有被替换.事实证明PPID,SECONDS和某些其他env变量不会成为Ant的表示.
接下来我试试这个:
getpid.sh 看起来像这样:
echo $$
这让我得到了生成的shell脚本的PID.更接近,但不是我真正需要的.
我只想要我当前的进程ID,所以我可以在名称中创建一个具有该值的临时文件.有什么想法吗？
您可以使用java进程监视工具JPS找到PID,然后可以过滤输出流,如果需要,可以终止进程.看看这个tomcat pid kill脚本:
京公网安备 11010802040832号 | 京ICP备19059560号-6 