From 47440e51ff940a4786c31d72c56d25659662bda9 Mon Sep 17 00:00:00 2001
From: ftimme <ft@falkotimme.com>
Date: Tue, 19 Feb 2013 09:01:02 -0500
Subject: [PATCH] - Found better solution for deleting vhostsubdomains when parent domain is deleted.
---
server/lib/classes/system.inc.php | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/server/lib/classes/system.inc.php b/server/lib/classes/system.inc.php
index c10e6ff..07bcc64 100644
--- a/server/lib/classes/system.inc.php
+++ b/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;
+ }
}
?>
--
Gitblit v1.9.1