- Fixed FS#2733 - The Linux shell users of a website does not get removed w...

ftimme

2013-03-01 d16282430f49f5c3d40ff95379813d5ff800604a

 server/lib/classes/system.inc.php

@@ -1539,7 +1539,8 @@
    }
   
   function is_mounted($mountpoint){
      $cmd = 'df 2>/dev/null | grep " '.$mountpoint.'$"';
      //$cmd = 'df 2>/dev/null | grep " '.$mountpoint.'$"';
      $cmd = 'mount 2>/dev/null | grep " on '.$mountpoint.' type "';
      exec($cmd, $output, $return_var);
      return $return_var == 0 ? true : false; 
   }