diff options
| author | Andreas <andreas.matthias@gmail.com> | 2024-02-26 12:47:13 +0100 |
|---|---|---|
| committer | Andreas <andreas.matthias@gmail.com> | 2024-02-26 12:47:13 +0100 |
| commit | 6b8b102dc37b48f71c4bea362b78a50b443dae7d (patch) | |
| tree | 7b0cfd773d1d6678687c5dd4b113a1acf20a20e5 /script/file-uri.lua | |
| parent | d99570be1fefc8b0e8e1420ae564f375258339e7 (diff) | |
| parent | c156377201f70db009d8bcfcf664370ea3f0eec2 (diff) | |
| download | lua-language-server-6b8b102dc37b48f71c4bea362b78a50b443dae7d.zip | |
Merge branch 'master' into async
Diffstat (limited to 'script/file-uri.lua')
| -rw-r--r-- | script/file-uri.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/script/file-uri.lua b/script/file-uri.lua index 8a075f7e..192f3ab5 100644 --- a/script/file-uri.lua +++ b/script/file-uri.lua @@ -25,7 +25,7 @@ local m = {} ---@return uri uri function m.encode(path) local authority = '' - if platform.OS == 'Windows' then + if platform.os == 'windows' then path = path:gsub('\\', '/') end @@ -82,7 +82,7 @@ function m.decode(uri) else value = path end - if platform.OS == 'Windows' then + if platform.os == 'windows' then value = value:gsub('/', '\\') end return value |