- 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

@@ -1537,6 +1537,13 @@
            return intval($string);
        }
    }
	
   function is_mounted($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; 
   }

}
?>