empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make scripts/savecore create the core directory

Browse source
This commit is contained in:
Markus Armbruster 2011-10-26 18:55:27 +02:00
parent 5e9fb6b607
commit 1086387f8b
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/savecore
View file

@ -61,6 +61,7 @@ test -r "$core_name"
tstamp=`/bin/date +%Y-%m-%d-%H:%M` tstamp=`/bin/date +%Y-%m-%d-%H:%M`
saved_core=$core_dir/core-$tstamp saved_core=$core_dir/core-$tstamp
mkdir -p $core_dir
if [ `df -kP $core_dir | awk 'NR!=1 { print $4 }'` -lt "$space_low" ] if [ `df -kP $core_dir | awk 'NR!=1 { print $4 }'` -lt "$space_low" ]
then rm -f $core_name; exit then rm -f $core_name; exit
fi fi