|
@@ 168-174 (lines=7) @@
|
| 165 |
|
} |
| 166 |
|
|
| 167 |
|
// Override if priority greater |
| 168 |
|
if ((!isset($mountPoints[$mountPoint])) |
| 169 |
|
|| ($options['priority'] >= $mountPoints[$mountPoint]['priority']) |
| 170 |
|
) { |
| 171 |
|
$options['priority_type'] = self::MOUNT_TYPE_GLOBAL; |
| 172 |
|
$options['backend'] = $backends[$options['class']]['backend']; |
| 173 |
|
$mountPoints[$mountPoint] = $options; |
| 174 |
|
} |
| 175 |
|
} |
| 176 |
|
} |
| 177 |
|
// All user mount points |
|
@@ 192-198 (lines=7) @@
|
| 189 |
|
} |
| 190 |
|
|
| 191 |
|
// Override if priority greater |
| 192 |
|
if ((!isset($mountPoints[$mountPoint])) |
| 193 |
|
|| ($options['priority'] >= $mountPoints[$mountPoint]['priority']) |
| 194 |
|
) { |
| 195 |
|
$options['priority_type'] = self::MOUNT_TYPE_GLOBAL; |
| 196 |
|
$options['backend'] = $backends[$options['class']]['backend']; |
| 197 |
|
$mountPoints[$mountPoint] = $options; |
| 198 |
|
} |
| 199 |
|
} |
| 200 |
|
} |
| 201 |
|
// Group mount points |