Ticket #22142: port-diffu.txt

File port-diffu.txt, 642 bytes (added by jxh@…, 15 years ago)

Suggested fix, with diff -u

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@@ -437,11 +437,15 @@
4             set size [term_get_size stdout]
5 
6             if {![info exists env(LINES)]} {
7-                set env(LINES) [lindex $size 0]
8+                if {[lindex $size 0]} {
9+                  set env(LINES) [lindex $size 0]
10+                }
11             }
12 
13             if {![info exists env(COLUMNS)]} {
14-                set env(COLUMNS) [lindex $size 1]
15+                if {[lindex $size 1]} {
16+                  set env(COLUMNS) [lindex $size 1]
17+                }
18             }
19         }
20     }