diff -udprN /usr/ports/www/mini_httpd/files/patch-scripts_mini__httpd.sh ./files/patch-scripts_mini__httpd.sh --- /usr/ports/www/mini_httpd/files/patch-scripts_mini__httpd.sh 1970-01-01 00:00:00.000000000 +0000 +++ ./files/patch-scripts_mini__httpd.sh 2021-06-07 03:14:22.004668000 +0000 @@ -0,0 +1,22 @@ +--- scripts/mini_httpd.sh.orig 2016-06-18 20:06:02 UTC ++++ scripts/mini_httpd.sh +@@ -22,6 +22,7 @@ + name='mini_httpd' + rcvar='mini_httpd_enable' + start_precmd='mini_httpd_precmd' ++stop_postcmd='mini_httpd_poststop' + mini_httpd_enable_defval='NO' + + load_rc_config "$name" +@@ -38,4 +39,11 @@ mini_httpd_precmd () + fi + } + ++mini_httpd_poststop () ++{ ++ if [ -n "$mini_httpd_devfs" ]; then ++ umount "$mini_httpd_devfs" ++ fi ++} ++ + run_rc_command "$1"