mirror of
https://github.com/MariaDB/server.git
synced 2026-05-11 09:30:23 +02:00
Merge 10.0 into 10.1
This commit is contained in:
commit
016caa3d20
15 changed files with 318 additions and 25 deletions
|
|
@ -1,16 +1,11 @@
|
|||
# truncate a giving file, all contents of the file are be cleared
|
||||
|
||||
if (!$file)
|
||||
if (!$TRUNCATE_FILE)
|
||||
{
|
||||
--echo Please assign a file name to $file!!
|
||||
exit;
|
||||
die TRUNCATE_FILE is not set;
|
||||
}
|
||||
|
||||
let TRUNCATE_FILE= $file;
|
||||
|
||||
perl;
|
||||
use Env;
|
||||
Env::import('TRUNCATE_FILE');
|
||||
open FILE, '>', $TRUNCATE_FILE || die "Can not open file $file";
|
||||
open FILE, '>', $ENV{TRUNCATE_FILE} or die "open(>$ENV{TRUNCATE_FILE}): $!";
|
||||
close FILE;
|
||||
EOF
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue