michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-02-28 08:22:30 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Merge branch 'master' of github.com:webmin/webmin

Browse Source
This commit is contained in:
Jamie Cameron
2026-02-23 20:58:59 -08:00
parent bd3fd5d49b fb9f7ead7c
commit 9a14c437b8
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
phpini/phpini-lib.pl
View File

@@ -633,16 +633,16 @@ else {
}
}
# read_file_lines_as_user(file, ...)
# read_file_lines_as_user(file, [read-only])
sub read_file_lines_as_user
{
local @args = @_;
local ($file, $ro) = @_;
if (&should_switch_user($file)) {
return &eval_as_unix_user(
$access{'user'}, sub { &read_file_lines(@args) });
$access{'user'}, sub { &read_file_lines($file, $ro) });
}
else {
return &read_file_lines(@args);
return &read_file_lines($file, $ro);
}
}