9 Commits

Include renames

Author	SHA1	Message	Date
Andre Weinand	e480cea725	address translation issue; fixes #72065	2019-05-24 10:41:41 +02:00
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