diff --git a/phpini/phpini-lib.pl b/phpini/phpini-lib.pl
index 6a7ee8cfb..93d0056f0 100755
--- a/phpini/phpini-lib.pl
+++ b/phpini/phpini-lib.pl
@@ -313,7 +313,7 @@ if ($file && &get_config_fmt($file) eq "ini" &&
 	&foreign_installed("virtualmin-nginx")) {
 	&foreign_require("virtual-server");
 	&foreign_require("virtualmin-nginx", "virtual_feature.pl");
-	my @dom = grep { $file =~ /^$_->{'home'}\// } 
+	my @dom = grep { &is_under_directory($_->{'home'}, $file) } 
 	              &virtual_server::list_domains();
 	&virtualmin_nginx::feature_restart_web_php($dom[0]);
 	}