a
/
code-server
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

chore: fix lint error in channel.ts

This commit is contained in:
Joe Previte 2021-03-03 11:52:36 -07:00
parent 4d3d1b844d
commit 1632a19a76
No known key found for this signature in database
GPG Key ID: 2C91590C6B742C24
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/vscode/src/vs/server/node/channel.ts
View File

@ -907,5 +907,5 @@ function transformIncoming(remoteAuthority: string, uri: UriComponents | undefin
} }
function isDefined<T>(t: T | undefined): t is T { function isDefined<T>(t: T | undefined): t is T {
return typeof t !== "undefined"; return typeof t !== 'undefined';
} }