diff options
| author | HBadertscher <h_badertscher@bluewin.ch> | 2017-11-01 11:21:01 +0100 |
|---|---|---|
| committer | HBadertscher <h_badertscher@bluewin.ch> | 2017-11-01 11:23:21 +0100 |
| commit | 80b48185d36ec6f2f360ea35fd2592aec464084f (patch) | |
| tree | 3d622ce73e2f60b9c0324222fa31f7324dbdde92 /libs/disk.php | |
| parent | 4142d5f19904c5f00bb11a9ba8746068a9169b4f (diff) | |
Adds option to ignore mounts via config file
This allows you to configure eZ Server Monitor to ignore certain disks
via the "ignore_mounts" option in the configuration file. You can either
create no "ignore_mounts" option at all, or set it to [] if you want to
show all mounts. To ignore certain mounts, add the exact mount path to
the array, e.g. ["/mnt/disk1"] or ["/mnt/disk1", "/mnt/disk2"].
This is done with *exact* string matching, so make sure the entries are
correct. This makes it possible to ignore "/" and still show other
paths.
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); |
