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

Merge branch 'master' into xterm-enhancements-supreme

Browse Source
This commit is contained in:
Ilia
2022-11-12 23:06:03 +02:00
committed by GitHub
parent 37453226da 7b2456aba5
commit 74716f5d3f
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
xterm/shellserver.pl Executable file → Normal file
View File

@@ -156,6 +156,7 @@ Net::WebSocket::Server->new(
my $buf;
my $ok = sysread($shellfh, $buf, 1024);
if ($ok <= 0) {
print STDERR "end of output from shell\n";
&cleanup_miniserv();
exit(0);
}
@@ -168,6 +169,7 @@ Net::WebSocket::Server->new(
},
],
)->start;
print STDERR "exited websockets server\n";
&cleanup_miniserv();
sub cleanup_miniserv