Danny Tuppeny
efb88a0380
Reject requests for hot reload if a hot reload is already in progress. ( #14494 )
...
* Reject requests for hot reload if a hot reload is already in progress.
Fixes #14184
* Implement TODO, verifying further hot reloads complete sucessfully.
* Fix year on new file.
* Add missing type annotations to fix lints
* Add run_machine_concurrent_hot_reload to manifest for CI
* Reformat document
... but undo things that cause lints (like single-line ifs)
* Extract std stream transformations
* Make inProgressHotReload private
* Disallow all types of reload while hot reload in progress
* Simplify code handling in-progress hot reloads
2018-02-07 08:58:23 -08:00
..
2017-06-13 13:14:16 -07:00
2017-06-05 12:53:27 -07:00
2017-11-28 17:21:01 -08:00
2017-11-28 17:21:01 -08:00
2017-11-28 17:21:01 -08:00
2017-04-27 08:44:28 +02:00
2017-04-27 08:44:28 +02:00
2017-04-27 08:44:28 +02:00
2017-08-31 11:38:21 -07:00
2016-12-01 18:35:40 -08:00
2017-11-28 17:21:01 -08:00
2017-11-28 17:21:01 -08:00
2016-12-01 18:35:40 -08:00
2016-12-01 18:35:40 -08:00
2016-12-01 18:35:40 -08:00
2016-12-01 18:35:40 -08:00
2017-06-13 12:49:07 -07:00
2017-11-28 17:21:01 -08:00
2017-05-22 10:00:59 -07:00
2017-11-22 14:16:25 +01:00
2017-11-22 14:16:25 +01:00
2017-08-23 10:55:35 +02:00
2017-08-23 10:55:35 +02:00
2017-08-23 10:55:35 +02:00
2016-12-06 10:13:21 -08:00
2016-12-05 11:08:25 -08:00
2016-12-01 18:35:40 -08:00
2017-06-14 08:09:05 -07:00
2016-12-01 18:35:40 -08:00
2017-11-28 17:21:01 -08:00
2018-02-01 20:23:40 -08:00
2017-11-28 17:21:01 -08:00
2016-12-01 18:35:40 -08:00
2016-12-01 18:35:40 -08:00
2017-11-28 17:21:01 -08:00
2017-03-23 13:20:00 +01:00
2018-01-12 16:56:54 -08:00
2018-02-05 22:20:21 +01:00
2016-12-02 10:27:43 -08:00
2017-09-28 12:45:54 -07:00
2017-09-28 12:45:54 -07:00
2018-01-10 13:06:53 -08:00
2017-09-28 12:45:54 -07:00
2017-09-28 12:45:54 -07:00
2017-05-11 14:29:20 -07:00
2017-05-11 14:29:20 -07:00
2017-06-05 12:53:27 -07:00
2017-01-10 18:16:00 -08:00
2017-01-10 18:16:00 -08:00
2017-04-27 08:44:28 +02:00
2017-04-27 08:44:28 +02:00
2017-08-11 10:38:12 +02:00
2017-08-11 10:38:12 +02:00
2017-08-31 11:38:21 -07:00
2018-02-07 08:58:23 -08:00
2017-08-31 11:38:21 -07:00
2016-09-14 13:22:53 -07:00
2016-09-14 13:22:53 -07:00
2016-09-14 13:22:53 -07:00
2016-09-14 13:22:53 -07:00
2018-01-31 08:21:32 +01:00