Re: mysqldump and mediawiki

[Joshua Whopper]

Following code is used to dump all the DBs on my server (which is a localhost), only "decorative" names change
$path, $psw and skt (the socket path) are defined elsewhere since they never change

[...]
$file_datetime = date('Ymd') . '-'. date('His');
$datetime_file = 'Wiki_'.$file_datetime;
$dbnamenew = 'Wikidb';
$dbname = 'wikidb';
$dest = $path.'Wiki_'.$file_datetime.'.sql';
$command ='/usr/bin/mysqldump -u root -p'.$psw.' -S '.$skt.' '.$dbname.' >'.$dest;
write_result($dbnamenew,$datetime_file);
exec($command, $out, $err);
if ($err){die('<br /><b class="die">Error: Check the dump command arguments for wikidb</b> ');}
[...]

write_result does nothing serious :)

function write_result ($z_name,$datetime_file) {
echo "<br /><b class='write'>Dumping <span style= 'color:#000099;'>$z_name</span> data, resulting file is --->&nbsp;&nbsp;&nbsp;<span style='color: #3B7149;'>".$datetime_file."</span></b><br />";
}