delete_stats($val); if (!$r) { $error.=$err->errstr()."
"; } else { $error.=sprintf(_("The statistics %s has been successfully deleted (the stats files must be manually deleted)"),$r)."
"; } } } include("sta_list.php"); exit(); ?>