projects
/
webmin.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
46f9983
)
Refresh modules after usermin install https://www.virtualmin.com/node/19663
author
Jamie Cameron
<jcameron@webmin.com>
Sat, 1 Oct 2011 17:56:14 +0000
(10:56 -0700)
committer
Jamie Cameron
<jcameron@webmin.com>
Sat, 1 Oct 2011 17:56:14 +0000
(10:56 -0700)
usermin/upgrade.cgi
patch
|
blob
|
history
diff --git
a/usermin/upgrade.cgi
b/usermin/upgrade.cgi
index
026784c
..
4ef9d76
100755
(executable)
--- a/
usermin/upgrade.cgi
+++ b/
usermin/upgrade.cgi
@@
-273,6
+273,14
@@
else {
system("rm -rf \"$extract\"");
}
}
+
+# Notify Webmin that this module might now be usable
+&foreign_require("webmin", "webmin-lib.pl");
+($inst, $changed) = &webmin::build_installed_modules(0, 'usermin');
+if (@$changed && defined(&theme_post_change_modules)) {
+ &theme_post_change_modules();
+ }
+
&webmin_log($in{'install'} ? "uinstall" : "upgrade", undef, undef,
{ 'version' => $version, 'mode' => $in{'mode'} });