mirror of
https://github.com/webmin/webmin.git
synced 2026-02-03 14:13:29 +00:00
Fix to clean up others sockets if the shell server
This commit is contained in:
@@ -254,5 +254,3 @@ else {
|
||||
}
|
||||
print "</script>\n";
|
||||
&ui_print_footer();
|
||||
|
||||
&cleanup_old_websockets([$port]);
|
||||
|
||||
@@ -166,3 +166,4 @@ Net::WebSocket::Server->new(
|
||||
)->start;
|
||||
print STDERR "exited websockets server\n";
|
||||
&cleanup_miniserv($port);
|
||||
&cleanup_old_websockets([$port]);
|
||||
Reference in New Issue
Block a user