Devtools cached overly aggressively #1674
Description
Repro steps:
$ pub global activate devtools 0.1.13
$ pub global run devtools -p 1234
Access http://127.0.0.1:1234/ and confirm the the UI works and "DevTools version 0.1.13." is shown in the console
$ pub global activate devtools 0.1.15
$ pub global run devtools -p 1234
Access http://127.0.0.1:1234/, observe "Loading..." label stuck on the screen. "DevTools version 0.1.13." is shown in the console.
Apparently main.dart.js gets cached persistently and survives version upgrades/downgrades and gets into weird states due to version mismatches between different files/ajax APIs.
Suggested fix:
adding a cache busting query parameter to main.dart.js or changing our server configuration.