Ticket #22142: port.diff

File port.diff, 887 bytes (added by jxh@…, 15 years ago)

Suggested fix.

Line 
1*** /opt/local/bin/port 2009-09-28 16:42:21.000000000 -0500
2--- port        2009-10-18 03:03:28.000000000 -0500
3***************
4*** 437,447 ****
5              set size [term_get_size stdout]
6 
7              if {![info exists env(LINES)]} {
8!                 set env(LINES) [lindex $size 0]
9              }
10 
11              if {![info exists env(COLUMNS)]} {
12!                 set env(COLUMNS) [lindex $size 1]
13              }
14          }
15      }
16--- 437,451 ----
17              set size [term_get_size stdout]
18 
19              if {![info exists env(LINES)]} {
20!                 if {[lindex $size 0]} {
21!                   set env(LINES) [lindex $size 0]
22!                 }
23              }
24 
25              if {![info exists env(COLUMNS)]} {
26!                 if {[lindex $size 1]} {
27!                   set env(COLUMNS) [lindex $size 1]
28!                 }
29              }
30          }
31      }