public function create_procedure($row, $dumpSettings)
{
$ret = "";
if (!isset($row['Create Procedure'])) {
throw new Exception("Error getting procedure code, unknown output. " . "Please check 'https://bugs.mysql.com/bug.php?id=14564'");
}
$procedureStmt = $row['Create Procedure'];
$ret .= "/*!50003 DROP PROCEDURE IF EXISTS `" . $row['Procedure'] . "` */;" . PHP_EOL . "/*!40101 SET @saved_cs_client = @@character_set_client */;" . PHP_EOL . "/*!40101 SET character_set_client = " . $dumpSettings['default-character-set'] . " */;" . PHP_EOL . "DELIMITER ;;" . PHP_EOL . $procedureStmt . " ;;" . PHP_EOL . "DELIMITER ;" . PHP_EOL . "/*!40101 SET character_set_client = @saved_cs_client */;" . PHP_EOL . PHP_EOL;
return $ret;
}