Shut down pub http client after running dartdev

Bug: #55289
Change-Id: I61548d0b223167b769a27ac6ab956c4fd42a7be6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/361364
Reviewed-by: Ben Konyi <[email protected]>
Reviewed-by: Jonas Jensen <[email protected]>
Commit-Queue: Sigurd Meldgaard <[email protected]>

Author: sigurdm

pkg/dartdev/bin/dartdev.dart

@@ -5,8 +5,12 @@
 import 'dart:isolate';
 
 import 'package:dartdev/dartdev.dart';
+import 'package:pub/src/http.dart';
 
 /// The entry point for dartdev.
 Future<void> main(List<String> args, SendPort? port) async {
   await runDartdev(args, port);
+  // TODO(https://github.com/dart-lang/pub/issues/4209). Handle this in a more
+  // structured way.
+  globalHttpClient.close();
 }