PKP Bugzilla – Attachment #1442: Patch against PKP WAL CVS for bug #3520
return;
}
header("Location: $url");
header("Refresh: 0; url=$url");
exit();