From 8d0b1b40f5dc9608166f20e0346e37daf0926fdc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bartek=20Iwa=C5=84czuk?= <biwanczuk@gmail.com>
Date: Thu, 26 Nov 2020 15:12:08 +0100
Subject: [PATCH] fix(websocket): set User-Agent header (#8502)

---
 cli/ops/websocket.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cli/ops/websocket.rs b/cli/ops/websocket.rs
index c8fb895431..40f5fd53bf 100644
--- a/cli/ops/websocket.rs
+++ b/cli/ops/websocket.rs
@@ -100,7 +100,7 @@ pub async fn op_ws_create(
   let mut request = Request::builder().method(Method::GET).uri(&uri);
 
   request =
-    request.header("User-Agent", format!("Deno/{}", crate::version::DENO));
+    request.header("User-Agent", format!("Deno/{}", crate::version::deno()));
 
   if !args.protocols.is_empty() {
     request = request.header("Sec-WebSocket-Protocol", args.protocols);