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

Clear module.infos in new location too

Browse Source
This commit is contained in:
Jamie Cameron
2017-03-13 19:42:36 -07:00
parent 2dc7d94a74
commit 4dc9188d86
2 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
makemoduledeb.pl
View File

@@ -358,6 +358,7 @@ if [ "$force_theme" != "" -a "$istheme" = "1" ]; then
(/etc/$product/stop && /etc/$product/start) >/dev/null 2>&1
fi
rm -f /etc/$product/module.infos.cache
rm -f /var/$product/module.infos.cache
# Run post-install function
if [ "$product" = "webmin" ]; then

1
makemodulerpm.pl
View File

@@ -321,6 +321,7 @@ if [ "$force_theme" != "" -a "$istheme" = "1" ]; then
(/etc/$prog/stop && /etc/$prog/start) >/dev/null 2>&1
fi
rm -f /etc/$prog/module.infos.cache
rm -f /var/$prog/module.infos.cache
# Run post-install function
if [ "$prog" = "webmin" ]; then