Changeset 245744 in webkit

Timestamp:

May 24, 2019, 12:54:16 AM (7 years ago)

Author:

ysuzuki@apple.com

Message:

Make display-profiler-output work with newer HighLine
​https://bugs.webkit.org/show_bug.cgi?id=198205

Reviewed by Saam Barati.

Newer HighLine does not have SystemExtensions. Access @terminal member in default instance of HighLine.

• Scripts/display-profiler-output:

Location:

trunk/Tools

Files:

• ChangeLog (modified) (1 diff)
• Scripts/display-profiler-output (modified) (1 diff)

trunk/Tools/ChangeLog

@@ +1 @@
+2019-05-24  Yusuke Suzuki  <ysuzuki@apple.com>
+
+        Make display-profiler-output work with newer HighLine
+        https://bugs.webkit.org/show_bug.cgi?id=198205
+
+        Reviewed by Saam Barati.
+
+        Newer HighLine does not have SystemExtensions. Access @terminal member in default instance of HighLine.
+
+        * Scripts/display-profiler-output:
+
 2019-05-23  Fujii Hironori  <Hironori.Fujii@sony.com>
 

trunk/Tools/Scripts/display-profiler-output

@@ -540 +540 @@
 def screenWidth
     if $stdin.tty?
-        HighLine::SystemExtensions.terminal_size[0] - 3
+        begin
+            HighLine::SystemExtensions.terminal_size[0] - 3
+        rescue
+            HighLine::default_instance.terminal.terminal_size[0] - 3
+        end
     else
         200