From 9dfc9aa65dcb18de8071edee5ae691774ce32c34 Mon Sep 17 00:00:00 2001
From: maintenance team <salome-mnt@opencascade.com>
Date: Thu, 13 Nov 2008 13:37:52 +0000
Subject: [PATCH] *** empty log message ***

---
 config_files/diskSpace.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config_files/diskSpace.sh b/config_files/diskSpace.sh
index fd470d5..d9c2b15 100755
--- a/config_files/diskSpace.sh
+++ b/config_files/diskSpace.sh
@@ -20,7 +20,7 @@ if [ $# -lt 1 ] ; then
     echo "`basename $0` : wrong parameters"
     exit 1
 fi
-var=`df -k "$1" | awk '{print $4}'`
+var=`df -Pk "$1" | awk '{print $4}'`
 for i in $var; do var=$i; done
 echo $var
 exit 0
-- 
2.39.2