- Found better solution for deleting vhostsubdomains when parent domain is ...

ftimme

2013-02-19 47440e51ff940a4786c31d72c56d25659662bda9

 server/lib/classes/system.inc.php

@@ -1537,6 +1537,12 @@
            return intval($string);
        }
    }
	
   function is_mounted($mountpoint){
      $cmd = 'df 2>/dev/null | grep " '.$mountpoint.'$"';
      exec($cmd, $output, $return_var);
      return $return_var == 0 ? true : false; 
   }

}
?>