Andre Weinand
|
75e1e3a432
|
use case insensitive matches for server ready; fixes #71164
|
2019-03-26 22:28:06 +01:00 |
|
Andre Weinand
|
bc0574de38
|
server-ready feature: better error msg when chome not installed
|
2019-03-21 15:23:48 +01:00 |
|
Andre Weinand
|
1bebb2409c
|
server ready feature: fix #70537
|
2019-03-19 12:03:47 +01:00 |
|
Andre Weinand
|
96eb4cf00d
|
proposed API: add parentSession to startDebugging; fixes #70219
|
2019-03-18 11:41:31 +01:00 |
|
Andre Weinand
|
87e530da98
|
serverReady: try to listen only on the correct terminal
|
2019-03-13 17:39:22 +01:00 |
|
Andre Weinand
|
55d720646c
|
support integrated terminal in serverReady feature
|
2019-03-01 22:28:42 +01:00 |
|
Andre Weinand
|
51fbb9c28c
|
rename urlFormat to uriFormat; fixes #69344
|
2019-02-26 10:32:50 +01:00 |
|
Andre Weinand
|
ef6d8eb11d
|
first cut of "server-ready-action" feature
|
2019-02-21 18:31:02 +01:00 |
|