module = $module
op = $op
");
if (function_exists('session_write_close')) {
session_write_close();
} else {
// Hack for old versions of PHP with bad session save
$sessvars = '';
foreach ($GLOBALS as $k => $v) {
if ((preg_match('/^PNSV/', $k)) &&
(isset($v))) {
$sessvars .= "$k|" . serialize($v);
}
}
pnSessionWrite(session_id(), $sessvars);
}
?>