Dev Tools Configuration and Metric Export Issue

 const url = "ws://localhost:34437"

const WebSdkLive = WebSdk.layer(() => ({
  resource: {
    serviceName: "AAAA",
  },
  metricReader: new PeriodicExportingMetricReader({
    exporter: new OTLPMetricExporter({
      url
    }),
    exportIntervalMillis: 1000,
  }),
})) 

export const ExtensionRuntime = ManagedRuntime.make(
  Layer.merge(DevTools.layer(), WebSdkLive),
)