/dev/null 2>/dev/null &"); } else if($_GET['do']=="logout") { unlink(".$nick.pingfile"); } else if($_GET['do']=="keepup") { file_put_contents(".$nick.pingfile", "ping"); } } ?>