Package: mysql-server-5.0
Version: 5.0.45-1ubuntu3.3
Tags: patch
File: /etc/init.d/mysql
--- /etc/init.d/mysql
+++ tmp.A13560/mysql 2008-07-15 09:05:38.668916514 -0700
@@ -65,7 +65,7 @@
# check for diskspace shortage
datadir=`mysqld_get_param datadir`
- if LC_ALL=C BLOCKSIZE= df --portability $datadir/. | tail -n 1 | awk '{ exit
($4>4096) }'; then
+ if LC_ALL=C BLOCKSIZE= BLOCK_SIZE= df --portability $datadir/. | tail -n 1 |
awk '{ exit ($4>4096) }'; then
log_failure_msg "$0: ERROR: The partition with $datadir is too full!"
echo "ERROR: The partition with $datadir is too full!" |
$ERR_LOGGER
exit 1
See /usr/share/info/coreutils.info.gz.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
