#!/bin/bash while true do process=`ps aux | grep name_abc | grep -v grep`; if [ "$process" == "" ]; then cd /home/wwwroot/server/protected/soa; php server.php echo "server restart"; else echo "server ok"; break; fi done
然后在crontab里加入检测即可 crontab -e
*/1 * * * * /data/script/server.sh
如何快速去除代码前的行号...
假如现在我现在发现一个网站上的图片保存方式是1001 – 1999目录下都存放着从1开始(数量不等)的.jpg图片，现在我决定用php的方法将图片按照自己需要的样式直接下载到本地 假如图片开始地址为：http://image.xxx.com/img/1001/1...
<?php header("Access-Control-Allow-Origin:*"); $url = 'http://'.$_SERVER['HTTP_HOST']; $file =&nb...
分享git的几个小技巧，后面会根据使用补充。目前包括git撤销本地修改、git回退到前n个版本、git多用户提交冲突解决、git 命令简化。欢迎大家补充^_*1、git撤销本地修改 Java git reset --hard origin/ma...
1 编辑httpd.conf，查找Include conf/extra/httpd-vhosts.conf，把前面注释符号“#”删掉。 2 编辑httpd-vhosts.conf，我把WAMPServer安装在D:/wamp，所以我这里的路径是D:\wamp\Apache2\...
Jquery是个非常流行的JS前端框架，在很多网站都能看到它的身影。很多网站都喜欢采用一些Jquery CDN加速服务，这样网站加载jquery会更快。之前火端网络的一些网站都是使用Google的jquery CDN，如：http://ajax.googleapis.com/ajax/lib...
