Changeset 14849 for misc/runpugs
- Timestamp:
- 11/28/06 11:12:32 (2 years ago)
- Location:
- misc/runpugs/lib/Web/Terminal
- Files:
-
- 3 modified
-
Server.pm (modified) (1 diff)
-
Server/Session.pm (modified) (1 diff)
-
Settings.pm (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
misc/runpugs/lib/Web/Terminal/Server.pm
r14733 r14849 209 209 sub killterm { 210 210 my $id=shift; 211 my $pid= $terminals{$id}->{pid};211 # my $pid= $terminals{$id}->{pid}; 212 212 delete $terminals{$id}; 213 if ($pid) {214 kill 9,$pid;215 }213 # if ($pid) { 214 # kill 9,$pid; 215 # } 216 216 } 217 217 -
misc/runpugs/lib/Web/Terminal/Server/Session.pm
r14733 r14849 83 83 } 84 84 85 sub DESTROY { 86 my $obj = shift; 87 $obj->{'pty'}->close(); 88 $obj->{'pty'}->close_slave(); 89 $obj->{'pugs'}->close(); 90 if($obj->{'pid'}){ 91 kill 9,$obj->{'pid'}; 92 } 93 } 94 85 95 sub readlines { 86 96 my $obj = shift; -
misc/runpugs/lib/Web/Terminal/Settings.pm
r14733 r14849 80 80 our $timeout_idle=600; 81 81 our $timeout_call=10; 82 our $check_interval= 300;82 our $check_interval=60; 83 83 our $nlines=250; 84 84 our $nchars=250;
