/dev/null 2>/dev/null &"); } else if($_GET['do']=="logout") { // Is user asking for logout? // Remove ping file if user logs out. IRC server will close unlink(".$nick.pingfile"); } else if($_GET['do']=="keepup") { // Client asking for keepup ping. // PONG to server. file_put_contents(".$nick.pingfile", "ping"); } } ?>