?
2010-07-04 20:56:21 UTC
if($action == "restart"){
echo "Killing old process..
";
$done = 0;
while($done < 5){
$out = exec("killall -e java");
sleep(1);
$done ++;
}
echo "Launching new server...
";
chdir("/var/www/bin/");
exec("java -Xmx1200M server > /var/www/html/log.txt &");
echo "Done!
";
("cd /var/www/bin && java -Xmx800M server");