Close DBM when restarting

diff --git a/miniserv.pl b/miniserv.pl
index 5bfb3b9..1d13c61 100755 (executable)
--- a/miniserv.pl
+++ b/miniserv.pl
@@ -2488,6 +2488,7 @@ print STDERR "restarting miniserv\n";
 close(SOCK);
 &close_all_sockets();
 &close_all_pipes();
+dbmclose(%sessiondb);
 kill('KILL', $logclearer) if ($logclearer);
 kill('KILL', $extauth) if ($extauth);
 exec($perl_path, $miniserv_path, @miniserv_argv);