// flush();
$clientsocket = fsockopen($sockname, 0, $errno, $errstr, 5);
if (!$clientsocket) {
- //echo "Socket not present. Firing up a new proxy.<BR>\n";
- //flush();
-
// It ain't there, dude. Open up the proxy. (C version)
//$cmd = "./sessionproxy " . $sockname ;
//exec($cmd);
sleep(2);
// Ok, now try again.
- // echo "Connecting to ", $sockname, "...<BR>\n";
- // flush();
$clientsocket = fsockopen($sockname, 0, $errno, $errstr, 5);
}
// Now clear our PHP session.
unset($session);
- session_destroy();
+ session_write_close();
}
?>