diff options
author | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-02-26 20:50:22 -0500 |
---|---|---|
committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-02-26 20:50:22 -0500 |
commit | 75f9be1041bcbb2a9d426fe9ffc8739c37f50b8e (patch) | |
tree | 0b2a36493ea4a041fb9f3b5811b601f66a388e21 /core | |
parent | b99f73b58460de943c63b23f2be9acb02e0023a6 (diff) |
Improve Windows network directory path handling.
Diffstat (limited to 'core')
-rw-r--r-- | core/ui.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/ui.lua b/core/ui.lua index 263f6a54..1a4d8992 100644 --- a/core/ui.lua +++ b/core/ui.lua @@ -495,7 +495,7 @@ if CURSES then end events.connect(events.INITIALIZED, function() - local lua_error = (not WIN32 and '^/' or '^%a:[/\\]') .. '.-%.lua:%d+:' + local lua_error = (not WIN32 and '^/' or '^%a?:?[/\\][/\\]?') .. '.-%.lua:%d+:' -- Print internal Lua error messages as they are reported. -- Attempt to mimic the Lua interpreter's error message format so tools that look for it can -- recognize these errors too. |