diff options
| author | shevabam <shevabam@users.noreply.github.com> | 2017-11-02 18:23:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-02 18:23:14 +0100 |
| commit | f6dc27183987b65dc06c11dbfd21507da15f1ea7 (patch) | |
| tree | 3d622ce73e2f60b9c0324222fa31f7324dbdde92 /libs/disk.php | |
| parent | 4142d5f19904c5f00bb11a9ba8746068a9169b4f (diff) | |
| parent | 80b48185d36ec6f2f360ea35fd2592aec464084f (diff) | |
Merge pull request #55 from HBadertscher/disk_ignore_mount
Adds option to ignore mounts via config file
Diffstat (limited to 'libs/disk.php')
| -rw-r--r-- | libs/disk.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libs/disk.php b/libs/disk.php index 6367114..d0be8b7 100644 --- a/libs/disk.php +++ b/libs/disk.php @@ -32,6 +32,12 @@ else if (strpos($type, 'tmpfs') !== false && $Config->get('disk:show_tmpfs') === false) continue; + foreach ($Config->get('disk:ignore_mounts') as $to_ignore) + { + if ($mount === $to_ignore) + continue 2; + } + if (!in_array($mount, $mounted_points)) { $mounted_points[] = trim($mount); |